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