P purelytheoretical.com So you want to learn type theory 169 points psygnisfive 12 years ago 47 comments
