An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk) 5 points by mrathi12 5y ago ↗ HN
1 comment
[ 5.1 ms ] story [ 39.2 ms ] thread