Galculator

?showchangeslink?

Revision Information
Current Directory:	/src/Language/R/
Rev:	24
Author:	paulosilva
Last modification:	Rev 7 - 2008-07-09 17:29:29
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...
	(?hidechangeslink?)

?curdirlinks? - ?curdirloglink? - ?curdircomplink?

Path	?${matches[1]}?Log?${matches[1]}?
experimental-src/	?${matches[1]}??fileviewloglink??${matches[1]}?
src/	?${matches[1]}??fileviewloglink??${matches[1]}?
Control/	?${matches[1]}??fileviewloglink??${matches[1]}?
Data/	?${matches[1]}??fileviewloglink??${matches[1]}?
Galculator/	?${matches[1]}??fileviewloglink??${matches[1]}?
Language/	?${matches[1]}??fileviewloglink??${matches[1]}?
Combinator/	?${matches[1]}??fileviewloglink??${matches[1]}?
Command/	?${matches[1]}??fileviewloglink??${matches[1]}?
Derivation/	?${matches[1]}??fileviewloglink??${matches[1]}?
Law/	?${matches[1]}??fileviewloglink??${matches[1]}?
Module/	?${matches[1]}??fileviewloglink??${matches[1]}?
R/	?${matches[1]}??fileviewloglink??${matches[1]}?
Constraint.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Equality.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Match.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Parser.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Pretty.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Refresh.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Rewrite.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
SafeCast.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Spine.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Syntax.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Syntax.hs-boot	?${matches[1]}??fileviewloglink??${matches[1]}?
SyntaxADT.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
TypeInference.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Verify.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Step/	?${matches[1]}??fileviewloglink??${matches[1]}?
Type/	?${matches[1]}??fileviewloglink??${matches[1]}?