Galculator

Revision Information
Current Directory:	/src/Galculator/
Rev:	1 - Go to most recent revision
Author:	paulosilva
Last modification:	Rev 1 - 2008-05-26 16:42:34 +0100 (Mon, 26 May 2008)
Log message:	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.
	(Hide changed files)
New Files:	AUTHORS Galculator.cabal INSTALL LICENSE README Setup.lhs src/ src/Control/ src/Control/GalcError.hs src/Control/Monad/ src/Control/Monad/Fresh.hs src/Control/MonadOr.hs src/Control/MonadPosition.hs src/Data/ src/Data/Env.hs src/Data/Equal.hs src/Data/Existential.hs src/Data/Stream.hs src/Galculator.hs src/Galculator/ src/Galculator/Engine/ src/Galculator/Engine/GcToLaw.hs src/Galculator/Engine/LawToRule.hs src/Galculator/Evaluate.hs src/Galculator/Interpreter.hs src/Galculator/Rule.hs src/Galculator/RunCommand.hs src/Galculator/State.hs src/Language/ src/Language/Combinator/ src/Language/Combinator/Parser.hs src/Language/Combinator/Syntax.hs src/Language/Command/ src/Language/Command/Parser.hs src/Language/Command/Syntax.hs src/Language/Derivation/ src/Language/Derivation/Parser.hs src/Language/Derivation/Syntax.hs src/Language/Law/ src/Language/Law/Parser.hs src/Language/Law/Refresh.hs src/Language/Law/Syntax.hs src/Language/Law/SyntaxADT.hs src/Language/Law/TypeInference.hs src/Language/Law/Verify.hs src/Language/Module/ src/Language/Module/Parser.hs src/Language/Module/Refresh.hs src/Language/Module/Syntax.hs src/Language/Module/SyntaxADT.hs src/Language/Module/TypeInference.hs src/Language/Module/Verify.hs src/Language/R/ src/Language/R/Constraint.hs src/Language/R/Equality.hs src/Language/R/Match.hs src/Language/R/Parser.hs src/Language/R/Pretty.hs src/Language/R/Refresh.hs src/Language/R/Rewrite.hs src/Language/R/SafeCast.hs src/Language/R/Spine.hs src/Language/R/Syntax.hs src/Language/R/Syntax.hs-boot src/Language/R/SyntaxADT.hs src/Language/R/TypeInference.hs src/Language/R/Verify.hs src/Language/Type/ src/Language/Type/Constraint.hs src/Language/Type/Equality.hs src/Language/Type/Parser.hs src/Language/Type/Pretty.hs src/Language/Type/Rewrite.hs src/Language/Type/Syntax.hs src/Language/Type/Syntax.hs-boot src/Language/Type/Unification.hs src/Language/Type/Utils.hs TODO

[/] [src/] [Galculator/] - View Log - Compare with Previous - Tarball -

Path	Log	Tarball
src/	View Log	Tarball
Control/	View Log	Tarball
Data/	View Log	Tarball
Galculator/	View Log	Tarball
Engine/	View Log	Tarball
Evaluate.hs	View Log
Interpreter.hs	View Log
Rule.hs	View Log
RunCommand.hs	View Log
State.hs	View Log
Language/	View Log	Tarball