News for hackers. Stuff that matters.

A comment on An accessible introduction to type theory and implementing a type-checker.

Re:An accessible introduction to type theory and implementin... by mrathi12 on Saturday December 05, 2020 @10:38AM (#25315302)
Hey all, author here, happy to answer any questions you have!
[ Parent | on HN ]
Re:An accessible introduction to type theory and implementin... by compressedgas on Saturday December 05, 2020 @11:25AM (#25315694)
You have posted the wrong URL. You intended to post https://mukulrathi.co.uk/create-your-own-programming-languag... going by the title.
[ Parent | on HN ]
Re:An accessible introduction to type theory and implementin... by mrathi12 on Saturday December 05, 2020 @11:40AM (#25315809)
Ah, yes I have, apologies! Will repost with the correct link :)
[ Parent | on HN ]