samuela / bidirectional-typing

A bidirectional type checker
57Updated 7 years ago

Related projects

Alternatives and complementary repositories for bidirectional-typing