Idris to PHP compiler #1 Post by edofic » Mon, Apr 13, 2015, 3:14 PM UTC Idris to PHP compilergithub.com