Get the latest tech news
Typechecker Zoo
Typecheckers built for fun
The examples are implemented in fairly idiomatic Rust with a full parser and test suite, using the usual compiler libraries such as larlpop, logos, ariadne, etc. An implementation of DK algorithm from Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism by Dunfield and Krishnaswami. This is an MIT licensed project and just something I do as a hobby in my spare time, so if you notice a typo in the prose or code open up a pull request on Github and I will be very thankful!
Or read this on Hacker News