5 ms·

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

• mrathi12 6y ago
  Hey all, author here, happy to answer any questions you have!
  • compressedgas 6y ago
    You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-language/intro-to-type-checking/ https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title.
    • mrathi12 6y ago
      Ah, yes I have, apologies! Will repost with the correct link :)