heya-unify

Version:

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

2 lines (1 loc) • 67 B

Plain Text

Eugene Lazutkin <eugene.lazutkin@gmail.com> (http://lazutkin.com/)