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

WebSVN - UMinho Haskell Software - Galculator - Log - Rev 24 - /

Galculator - Rev 24

[/]

Rev	Path	Author	Age	Log message
24	/	paulosilva	4 years	First version of the parser for fork expressions.
23	/	paulosilva	4 years	Added type for expressions.
22	/	paulosilva	4 years	Fixed commentaries. Minor fixes.
21	/	paulosilva	4 years	New parser definition.
20	/	paulosilva	4 years	Added useful function to the parser library.
19	/	paulosilva	4 years	Definition of the abstrat syntax of type representation using regular ADTs.
18	/	paulosilva	4 years	Translation between the type representations.
17	/	paulosilva	4 years	Definition of the abstrat syntax of type representation using regular ADTs.
16	/	paulosilva	4 years	Minor fixes.
15	/	paulosilva	4 years	Minor fixes.
14	/	paulosilva	4 years	Added modules: Comment Interface.
13	/	paulosilva	4 years	Added modules: Step Combinator Derivation.
12	/	paulosilva	4 years	Added modules: Main Module Expression Fork Relator Function Order GaloisDef Galois Axiom Theorem Definition Strategy.
11	/	paulosilva	4 years	Definition of the type syntax.
10	/	paulosilva	4 years	One error correction. Layout information.
9	/	paulosilva	4 years	First version of the grammar definition.
8	/	paulosilva	4 years	Creating a private branch of the source
7	/	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	/	paulosilva	4 years	Help menu added.
5	/	paulosilva	5 years	Reynold's operator was added to the representation.