Graph

less more | at revision 42: (0) -30 -10 -3 +3 +10 +30 tip

Port to cl-digraph
Sun, 06 Nov 2016 16:14:56 +0000, by Steve Losh
Initial stab at the term ordering with cl-graph
Sun, 06 Nov 2016 16:01:00 +0000, by Steve Losh
Start the rule order/partitioning process
Sat, 05 Nov 2016 18:01:22 +0000, by Steve Losh

less more | at revision 42: (0) -30 -10 -3 +3 +10 +30 tip