Graph
-
Add scratch.lisp to .hgignore.2016-03-14, by Steve Losh
-
Finish basic proving2016-03-10, by Steve Losh
-
Start on the logic database2016-03-10, by Steve Losh
-
Add variable/binding substitution2016-03-09, by Steve Losh
-
Add a couple more unification tests2016-03-09, by Steve Losh
-
Test the occurs check2016-03-09, by Steve Losh