Implementation of the rule-based unification algorithm U using unbound
Primary LanguageHaskellMIT LicenseMIT