An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk) 7 points by mrathi12 5y ago ↗ HN
[–] mrathi12 5y ago ↗ Hey all, author here, happy to answer any questions you have! [–] compressedgas 5y ago ↗ You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title. [–] mrathi12 5y ago ↗ Ah, yes I have, apologies! Will repost with the correct link :)
[–] compressedgas 5y ago ↗ You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title. [–] mrathi12 5y ago ↗ Ah, yes I have, apologies! Will repost with the correct link :)
3 comments
[ 4.8 ms ] story [ 17.0 ms ] thread