2016-03-26 | Matt S Trout | re-arranging resolution - thread proposition through... | blob | commitdiff |
2016-03-05 | Matt S Trout | can haz use strict | blob | commitdiff | diff to current |
2016-03-05 | Matt S Trout | searchstate setup, introduce qvars diagnostic | blob | commitdiff | diff to current |
2016-03-05 | Matt S Trout | add qlist debug predicate, actually add propositions... | blob | commitdiff | diff to current |
2015-10-10 | Matt S Trout | dependency map up, some code running | blob | commitdiff | diff to current |
2015-08-30 | Matt S Trout | initial partial sketch | blob | commitdiff | diff to current |