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