Commit Log
commit | description | author | date |
---|---|---|---|
f4a9b3af02a3 | Initial stab at the term ordering with cl-graph | Steve Losh | Sun, 06 Nov 2016 16:01:00 +0000 |
b7c02baa4fee | Start the rule order/partitioning process | Steve Losh | Sat, 05 Nov 2016 18:01:22 +0000 |
7fe3a52bf1f6 | Initial stab and the head collapsing. | Steve Losh | Sat, 05 Nov 2016 12:22:36 +0000 |
d505235f4520 | More documentation | Steve Losh | Wed, 02 Nov 2016 13:21:21 +0000 |