William DeMeo personal blog
Learn You an Agda
- Points
- 127
- HN comments
- 70
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 2, 2014 | Learn You an Agda by bkirwi | 127 | 70 |
