adamgundry / type-inference

Unification and type inference algorithms
123Updated 9 years ago

Related projects

Alternatives and complementary repositories for type-inference