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