Galculator

Revision Information
Current Directory:	/src/Language/R/
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/] [Language/] [R/] - 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
Language/	View Log	Tarball
Combinator/	View Log	Tarball
Command/	View Log	Tarball
Derivation/	View Log	Tarball
Law/	View Log	Tarball
Module/	View Log	Tarball
R/	View Log	Tarball
Constraint.hs	View Log
Equality.hs	View Log
Match.hs	View Log
Parser.hs	View Log
Pretty.hs	View Log
Refresh.hs	View Log
Rewrite.hs	View Log
SafeCast.hs	View Log
Spine.hs	View Log
Syntax.hs	View Log
Syntax.hs-boot	View Log
SyntaxADT.hs	View Log
TypeInference.hs	View Log
Verify.hs	View Log
Type/	View Log	Tarball