Hacker News new | past | comments | ask | show | jobs | submit | from login

So you want to learn type theory (purelytheoretical.com) 169 points by psygnisfive on Dec 21, 2014 | past | 47 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: