Graph
-
Grammaaeareraer2016-03-24, by Steve Losh
-
Remove unused function2016-03-24, by Steve Losh
-
Oh shit I've got a WAM2016-03-24, by Steve Losh
-
Implement a rudimentary heap for the WAM, part 02016-03-24, by Steve Losh
-
Disable the broken PAIPC for now2016-03-24, by Steve Losh
-
More grinding through the compiled version2016-03-24, by Steve Losh
-
Factor out cl-d-api garbage2016-03-23, by Steve Losh
-
Initial pass at the compiler2016-03-22, by Steve Losh
-
Add destructive unification2016-03-22, by Steve Losh
-
Add API documentation building2016-03-18, by Steve Losh
-
Improve the testing infrastructure, rename find-all2016-03-18, by Steve Losh
-
Add backtracking and wildcards2016-03-14, by Steve Losh
-
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