An accessible introduction to type theory and implementing a type-checker

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