/higher-order-unification

A small implementation of higher-order unification

Primary LanguageHaskellMIT LicenseMIT

Stargazers