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

7 points by mrathi12 5 years ago | 3 comments

mrathi12 5 years ago |

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.

mrathi12 5 years ago | | |

Ah, yes I have, apologies! Will repost with the correct link :)

mrathi12 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.

mrathi12 5 years ago | | |

Ah, yes I have, apologies! Will repost with the correct link :)