Galculator - Rev 7
1LT
2lt
alloydb
AlloyUML
Camila
Galculator
guisurfer_software
HaExcel
INblobs
mmarques
ndlenses
ptable
Relation
teste_projecto
[
/]
[
src/]
[
Language/]
[
Combinator
/]
Search log for:
Rev
Path
Author
Age
Log message
7
/src/Language/Combinator
paulosilva
4 years
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...
1
/src/Language/Combinator
paulosilva
4 years
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
v1.61
