Galculator - Rev 24
Galculator
1LT
2lt
alloydb
AlloyUML
Camila
guisurfer_software
HaExcel
INblobs
mmarques
ndlenses
ptable
Relation
teste_projecto
?curdirlinks?
Search history for:
Rev
Path
Author
Age
Log message
24
/experimental-src/Language/
paulosilva
6399d 07h
First version of the parser for fork expressions.
23
/experimental-src/Language/Type/
paulosilva
6399d 08h
Added type for expressions.
22
/experimental-src/Grammar/
paulosilva
6399d 08h
Fixed commentaries. Minor fixes.
21
/experimental-src/Language/Type/
paulosilva
6399d 08h
New parser definition.
20
/experimental-src/
paulosilva
6399d 08h
Added useful function to the parser library.
19
/experimental-src/Language/Type/
paulosilva
6399d 08h
Definition of the abstrat syntax of type representation using regular ADTs.
18
/experimental-src/Language/Type/
paulosilva
6399d 08h
Translation between the type representations.
17
/experimental-src/Language/Type/
paulosilva
6399d 08h
Definition of the abstrat syntax of type representation using regular ADTs.
16
/experimental-src/Grammar/
paulosilva
6400d 07h
Minor fixes.
15
/experimental-src/Grammar/
paulosilva
6400d 09h
Minor fixes.
14
/experimental-src/Grammar/
paulosilva
6400d 10h
Added modules: Comment Interface.
13
/experimental-src/Grammar/
paulosilva
6400d 10h
Added modules: Step Combinator Derivation.
12
/experimental-src/Grammar/
paulosilva
6400d 10h
Added modules: Main Module Expression Fork Relator Function Order GaloisDef Galois Axiom Theorem Definition Strategy.
11
/experimental-src/
paulosilva
6400d 12h
Definition of the type syntax.
10
/experimental-src/
paulosilva
6473d 09h
One error correction. Layout information.
9
/experimental-src/
paulosilva
6473d 10h
First version of the grammar definition.
8
/
paulosilva
6477d 12h
Creating a private branch of the source
7
/
paulosilva
6548d 11h
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...
6
/src/Galculator/
paulosilva
6567d 11h
Help menu added.
5
/src/Language/R/
paulosilva
6568d 16h
Reynold's operator was added to the representation.
←Prev
1
2
Next→
Show All
Theme by Vikram Singh
| Powered by
WebSVN
v2.3.3
