A programming language with a bidirectional type checker
Primary LanguageRust
A programming language implementation to learn about bidirectional type checkers.