purelytheoretical.com personal blog
So you want to learn type theory
The original page did not respond normally when we last checked (HTTP 502). The archived copy may help.
- Points
- 169
- HN comments
- 47
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesMath & Algorithms2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 21, 2014 | So you want to learn type theory by psygnisfive | 169 | 47 |
