/FirstOrderUnificationInAgda

Implementation of McBride's "First-order unification by structural recursion" in Agda.

Primary LanguageAgdaMIT LicenseMIT

Stargazers

No one’s star this repository yet.