An accessible introduction to type theory and implementing a type-checker (opens in new tab)

(mukulrathi.co.uk)

7 pointsmrathi125y ago3 comments

3 comments

Hey all, author here, happy to answer any questions you have!

You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title.

Ah, yes I have, apologies! Will repost with the correct link :)

j / k navigate · click thread line to collapse

Hey all, author here, happy to answer any questions you have!

You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title.

Ah, yes I have, apologies! Will repost with the correct link :)

j / k navigate · click thread line to collapse