The Breakfast Post personal blog
Notes on Idris (2017)
In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
- Points
- 163
- HN comments
- 73
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 7, 2018 | Notes on Idris (2017) by jxub | 163 | 73 |
