2018-04-14 | Matt S Trout | pass rspace to backtrack (as yet unused), tweak Depende... | commit | commitdiff |
2018-04-07 | Matt S Trout | pervasive type constraints | commit | commitdiff |
2017-02-16 | Matt S Trout | add a few more type annotations | commit | commitdiff |
2016-04-02 | Matt S Trout | cut over to next_proposition using resolved_count | commit | commitdiff |
2015-12-04 | Matt S Trout | operational recheck | commit | commitdiff |
2015-12-04 | Matt S Trout | types and deparsing and recalculation part working | commit | commitdiff |
2015-10-10 | Matt S Trout | dependency map up, some code running | commit | commitdiff |