[maximus:gulcii.git] / src / Parse.hs
2013-05-18 Claude Heiland-Allenpreparing for release
2013-05-18 Claude Heiland-Allenallow @ as an uppercase letter (for simple namespacing)
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-04 Claude Heiland-Allenallow upper case and numbers in names starting with...
2011-01-03 Claude Heiland-Allenmove sequence into lambda strategies and add another one
2011-01-01 Claude Heiland-Allensymbol for meta commands
2010-12-31 Claude Heiland-Allengarbage collector and dual mode evaluator: pure evaluat...
2010-12-30 Claude Heiland-Allenadd strict application aka sequence
2010-12-30 Claude Heiland-Allenremove unused symbol
2010-12-29 Claude Heiland-Allenfix warnings
2010-12-29 Claude Heiland-Allenmodularized and fixed with de Bruijn indices, etc