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

Posted by mrathi12 on Saturday December 05, 2020 @10:31AM
from the mukulrathi.co.uk dept.

( 3 comments | 7 points | on HN )

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 ]