WebSVN - UMinho Haskell Software - Galculator - Log - Rev 11

Galculator - Rev 11

[/] [src/]

Rev	Path	Author	Age	Log message
7	/src/	paulosilva	4 years	Some MonadPlus were replaced by MonadOr. Some commands were refactored in order to build an evaluator of proof step commands. Some experiments in order to introduce a more readable representation were tried but the results are still not very pleasant...
6	/src/	paulosilva	4 years	Help menu added.
5	/src/	paulosilva	4 years	Reynold's operator was added to the representation.
4	/src/	paulosilva	4 years	Added export for 'mzero'.
3	/src/	paulosilva	4 years	Improvements in the monadic structure.
2	/src/	paulosilva	4 years	Correction of a bug in the traversal strategies. <once> strategy was renamed as <one>. A new <once> strategy was added.
1	/src/	paulosilva	4 years	The first public version of Galculator. The prototype is still being developed, thus some features are not implemented y et. More testing is also needed.