ThatGeoGuy personal blog
Book review: The Little Typer (2021)
A book review of my journey through dependent typing.
- Points
- 109
- HN comments
- 23
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesLife, Learning & Writing2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 22, 2022 | Book review: The Little Typer (2021) by bshanks | 109 | 23 |
