edwinb/idris-php

Yes, really...

3 best points · 0 comments · 3 Hacker News posts · 176 GitHub stars · View on GitHub

Hacker News discussions

• Idris to PHP compiler (3 points, 0 comments, by edofic, 2015-04-13)
• Idris to PHP – Yes, really (3 points, 0 comments, by hexhex, 2018-08-27)
• A New Back End for Idris: PHP. “Yes, Really” (2 points, 0 comments, by lenary, 2015-03-03)