Matt Parsons personal blog
Basic Type-Level Programming in Haskell
Dependently typed programming is becoming all the rage these days.Advocates are talking about all the neat stuff you can do by putting more and more informat...
- Points
- 120
- HN comments
- 20
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 28, 2017 | Basic Type-Level Programming in Haskell by runeks | 120 | 20 |
