Galculator

Revision Information
Current Directory:	/src/Data/
Rev:	7 - Go to most recent revision
Author:	paulosilva
Last modification:	Rev 7 - 2008-07-09 16:29:29 +0100 (Wed, 09 Jul 2008)
Log message:	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...
	(Hide changed files)
Modified files:	Galculator.cabal src/Control/GalcError.hs src/Galculator/Evaluate.hs src/Galculator/Interpreter.hs src/Galculator/RunCommand.hs src/Galculator/State.hs src/Language/Combinator/Parser.hs src/Language/Command/Parser.hs src/Language/Command/Syntax.hs src/Language/Derivation/Syntax.hs src/Language/Law/Syntax.hs src/Language/R/Constraint.hs src/Language/R/Match.hs src/Language/R/Pretty.hs src/Language/R/SafeCast.hs src/Language/R/TypeInference.hs src/Language/Type/Constraint.hs src/Language/Type/Equality.hs src/Language/Type/Unification.hs
New Files:	src/Galculator/Proof.hs src/Galculator/StepEval.hs src/Language/Step/ src/Language/Step/Parser.hs src/Language/Step/Syntax.hs

[/] [src/] [Data/] - View Log - - Tarball -

Path	Log	Tarball
src/	View Log	Tarball
Control/	View Log	Tarball
Data/	View Log	Tarball
Env.hs	View Log
Equal.hs	View Log
Existential.hs	View Log
Stream.hs	View Log
Galculator/	View Log	Tarball
Language/	View Log	Tarball