jozefg / higher-order-unification

A small implementation of higher-order unification
182Updated 7 years ago

Related projects

Alternatives and complementary repositories for higher-order-unification