Galculator - Rev 7
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
7
/
paulosilva
6543d 16h
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
6562d 16h
Help menu added.
5
/src/Language/R/
paulosilva
6563d 21h
Reynold's operator was added to the representation.
4
/src/Control/
paulosilva
6563d 21h
Added export for 'mzero'.
3
/src/
paulosilva
6565d 18h
Improvements in the monadic structure.
2
/src/Language/Type/
paulosilva
6565d 19h
Correction of a bug in the traversal strategies. <once> strategy was renamed as <one>. A new <once> strategy was added.
1
/
paulosilva
6587d 16h
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.
Theme by Vikram Singh
| Powered by
WebSVN
v2.3.3
