projects / scpubgit/DX.git / history
| 2018-04-07 | Matt S Trout | pervasive type constraints | blob | commitdiff |
| 2018-02-28 | Matt S Trout | rewrite deparse system | blob | commitdiff | diff to current |
| 2017-02-16 | Matt S Trout | add types to Proposition and PropositionSequence | blob | commitdiff | diff to current |
| 2016-03-26 | Matt S Trout | re-arranging resolution - thread proposition through... | blob | commitdiff | diff to current |
| 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 |