2 ms·An accessible introduction to type theory and implementing a type-checker2 points by globuous 5y ago