1
Book review: The Little Typer (2021)
A book review of my journey through dependent typing.
ThatGeoGuy
The personal website and blog of a technology and geomatics enthusiast.
- Popular posts
- 3
- Total points
- 432
- HN comments
- 240
- Rank
- #6,125 personal
Visit thatgeoguy.ca → On Hacker News Dec 2020 – May 2022
Open Source 2Hardware & Electronics 2Life, Learning & Writing 1Programming Languages 1