Graph
-
Add scratch.lisp to .hgignore.Mon, 14 Mar 2016 22:59:10 +0000, by Steve Losh
-
Finish basic provingThu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
-
Start on the logic databaseThu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
-
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
-
Get some basic unification up and runningTue, 08 Mar 2016 15:27:47 +0000, by Steve Losh
-
Set up a clean namespace for the initial PAIP implementationTue, 08 Mar 2016 12:31:44 +0000, by Steve Losh
-
More 99PTue, 08 Mar 2016 12:16:50 +0000, by Steve Losh
-
GA the docsMon, 07 Mar 2016 13:39:38 +0000, by Steve Losh
-
Initial commitSat, 05 Mar 2016 23:58:39 +0000, by Steve Losh