Graph
-
Fix constant unificationSat, 09 Jul 2016 21:51:02 +0000, by Steve Losh
-
Pool logic frames to avoid creating so many hash tablesSat, 09 Jul 2016 21:03:01 +0000, by Steve Losh
-
Clean up and fix the anonymous variable handlingFri, 08 Jul 2016 18:14:05 +0000, by Steve Losh