Graph
-
Fix the stupid readtable mess2017-02-07, by Steve Losh
-
Reindent2017-02-07, by Steve Losh
-
Add `(next ...)` -> `(true ...)` conversion2017-01-22, by Steve Losh
-
Make the rule tree application ACTUALLY WORK2017-01-21, by Steve Losh
-
Get this thing compiling again after the arrowectomy2017-01-21, by Steve Losh
-
More work on the rule application (almost there!)2017-01-19, by Steve Losh
-
Fix stratification ordering2017-01-13, by Steve Losh
-
Start working on the head finalization process2016-12-15, by Steve Losh
-
Implement the basic iset traversal logic2016-12-15, by Steve Losh
-
Rename the logic manager to just be the reasoner2016-12-11, by Steve Losh