So you want to learn type theory

Comments



from Hacker News http://bit.ly/1GJUK8b