2018-03-30 | Matt S Trout | introduce next_step method to rspace | blob | commitdiff |
2018-01-14 | Matt S Trout | move ResolveProposition step over to rspace system | blob | commitdiff | diff to current |
2017-05-21 | Matt S Trout | remove vestigial method | blob | commitdiff | diff to current |
2017-04-25 | Matt S Trout | lift some of the rspace handling into the Resolution... | blob | commitdiff | diff to current |
2017-02-07 | Matt S Trout | lift _make_equal from predicate role to Eq.pm | blob | commitdiff | diff to current |
2016-03-26 | Matt S Trout | re-arranging resolution - thread proposition through... | blob | commitdiff | diff to current |
2015-12-04 | Matt S Trout | types and deparsing and recalculation part working | blob | commitdiff | diff to current |
2015-11-09 | Matt S Trout | implement ->equals for values | blob | commitdiff | diff to current |
2015-10-12 | Matt S Trout | member_at starting to work | blob | commitdiff | diff to current |
2015-08-30 | Matt S Trout | initial partial sketch | blob | commitdiff | diff to current |