ayberkt/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
AgdaMIT
Stargazers
No one’s star this repository yet.
Implementation of McBride's "First-order unification by structural recursion" in Agda.
AgdaMIT
No one’s star this repository yet.