/nominal-unification

A python library implementing nominal unification.

Primary LanguagePythonMIT LicenseMIT

Watchers