/anti-unification

Functional implementation of anti-unification algorithm for multiple terms

Primary LanguageSchemeMIT LicenseMIT

No issues in this repository yet.