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

mukulrathi.co.uk

7 points by mrathi12 5 years ago · 3 comments

Reader

mrathi12OP 5 years ago

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

compressedgas 5 years ago

You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title.
- mrathi12OP 5 years ago
  
  Ah, yes I have, apologies! Will repost with the correct link :)