Graph
-
Normalize facts and queries because people are lazyWed, 06 Jul 2016 20:41:56 +0000, by Steve Losh
-
Clean up the rule UI tooWed, 06 Jul 2016 20:08:27 +0000, by Steve Losh
-
Clean up the UIWed, 06 Jul 2016 18:30:31 +0000, by Steve Losh
-
Add profile.out to .hgignore.Wed, 06 Jul 2016 13:49:47 +0000, by Steve Losh
-
Don't cons lists of numbers, jesus christTue, 05 Jul 2016 23:54:54 +0000, by Steve Losh
-
Use a queues instead of lists for the logic frame pending predicatesTue, 05 Jul 2016 23:37:14 +0000, by Steve Losh
-
Rename "code frame" to "logic frame"Tue, 05 Jul 2016 23:12:50 +0000, by Steve Losh
-
Implement logic frames for assertion/retractionTue, 05 Jul 2016 23:02:33 +0000, by Steve Losh
-
Clean up formattingTue, 05 Jul 2016 16:53:58 +0000, by Steve Losh
-
Add a handy disassembly macroTue, 05 Jul 2016 16:44:10 +0000, by Steve Losh
-
Implement anonymous variables and the `*_void` opcodesMon, 04 Jul 2016 23:35:08 +0000, by Steve Losh
-
Switch from `:keyword` variables to `?symbol` onesSun, 03 Jul 2016 22:50:24 +0000, by Steve Losh