|
|
| | Idris2 is now self-hosted (github.com/edwinb) | | 2 points by ska80 on May 19, 2020 | past | |
| | Idris 2 programming language announced (github.com/edwinb) | | 17 points by adamnemecek on July 8, 2019 | past | 1 comment | |
| | Blodwen: A prototype successor to Idris (github.com/edwinb) | | 2 points by espeed on Dec 4, 2018 | past | 1 comment | |
| | README.md at master – edwinb/Blodwen (github.com/edwinb) | | 2 points by ScottWRobinson on Oct 19, 2018 | past | |
| | Idris to PHP – Yes, really (github.com/edwinb) | | 3 points by hexhex on Aug 27, 2018 | past | |
| | Blodwen – a dependently typed core language implemented in Idris (github.com/edwinb) | | 2 points by EvgeniyZh on Oct 30, 2017 | past | |
| | Idris to PHP compiler (github.com/edwinb) | | 3 points by edofic on April 13, 2015 | past | |
| | A New Back End for Idris: PHP. “Yes, Really” (github.com/edwinb) | | 2 points by lenary on March 3, 2015 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
