amblafont / unification

Notes (and implementation) of unification with binders
14Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for unification