Hacker News new | ask | show | jobs
An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk)
7 points by mrathi12 2022 days ago
1 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 :)