gulcii-0.2.0.1
[maximus:gulcii.git] / src / Sugar.hs
2013-05-18 Claude Heiland-Allenpreparing for release
2013-05-18 Claude Heiland-Allenbracket for prof2pretty operator associativity issue
2013-05-15 Claude Heiland-Allenadd Trace to syntax: map trace (iterate succ zero)
2011-04-07 Claude Heiland-Allenlicense boilerplate
2011-01-03 Claude Heiland-Allenmove sequence into lambda strategies and add another one
2010-12-30 Claude Heiland-Allenadd strict application aka sequence
2010-12-30 Claude Heiland-Allenprune dead code
2010-12-29 Claude Heiland-Allendesugar naturals with scott encoding
2010-12-29 Claude Heiland-Allenmodularized and fixed with de Bruijn indices, etc