Galculator

Some MonadPlus were replaced by MonadOr. Some commands were refactored in ...

paulosilva — Wed, 09 Jul 2008 16:29:29 +0100

Rev 7 - paulosilva (24 file(s) modified)

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...

Help menu added.

paulosilva — Fri, 20 Jun 2008 16:42:30 +0100

Rev 6 - paulosilva (1 file(s) modified)

Help menu added.

Reynold's operator was added to the representation.

paulosilva — Thu, 19 Jun 2008 11:38:08 +0100

Rev 5 - paulosilva (13 file(s) modified)

Reynold's operator was added to the representation.

Added export for 'mzero'.

paulosilva — Thu, 19 Jun 2008 11:36:24 +0100

Rev 4 - paulosilva (1 file(s) modified)

Added export for 'mzero'.

Improvements in the monadic structure.

paulosilva — Tue, 17 Jun 2008 14:51:06 +0100

Rev 3 - paulosilva (9 file(s) modified)

Improvements in the monadic structure.

Correction of a bug in the traversal strategies. <once> strategy ...

paulosilva — Tue, 17 Jun 2008 14:16:59 +0100

Rev 2 - paulosilva (1 file(s) modified)

Correction of a bug in the traversal strategies. <once> strategy was renamed as <one>. A new <once> strategy was added.

The first public version of Galculator. The prototype is still being ...

paulosilva — Mon, 26 May 2008 16:42:34 +0100

Rev 1 - paulosilva (78 file(s) modified)

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.