An accessible introduction to type theory and implementing a type-checker mukulrathi.co.uk 5 points by mrathi12 5 years ago · 1 comment Reader PiP Save mrathi12OP 5 years ago Author here! Feel free to ask questions about the post :)