heya-unify

Unify: a unification tool with a deep equivalence and partitioning of objects.

Browse on unpkg