Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
-
Updated
May 31, 2023 - C
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
A small Prolog interpreter
Add a description, image, and links to the unification topic page so that developers can more easily learn about it.
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."