#

first-order-unification

Here is 1 public repository matching this topic...

wenkokke / FirstOrderUnificationInAgda

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

library unification first-order-unification

Updated Oct 8, 2018
Agda

Improve this page

Add a description, image, and links to the first-order-unification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the first-order-unification topic, visit your repo's landing page and select "manage topics."