An accessible introduction to type theory and implementing a type-checker

Author here! Feel free to ask questions about the post :)