crufter.com personal blog
Idris, a language that will change the way you think about programming (2015)
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 118
- HN comments
- 100
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2016
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 6, 2016 | Idris, a language that will change the way you think about programming (2015) by kenshiro_o | 118 | 100 |
