4 ms·An accessible introduction to type theory and implementing a type-checker5 points by mrathi12 6y agomrathi12 6y agoAuthor here! Feel free to ask questions about the post :)