Graph
-
Add variable/binding substitutionWed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
-
Add a couple more unification testsWed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
-
Test the occurs checkWed, 09 Mar 2016 11:33:07 +0000, by Steve Losh