heya-unify
js
Unify: a unification tool with a deep equivalence and partitioning of objects.
Version 0.2.7 License BSD-3-Clause
Keywords
unificationequivalencecomparisondeep equivalencecode generationcode construction
INSTALL
Unify: a unification tool with a deep equivalence and partitioning of objects.