Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
etc | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | |||
examples | 26 | 13 years ago | Jean-Vincent Loddo | Added two examples (factorial, and futures for web | |||
Makefile.d | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | |||
.bzrignore | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 11 bytes | ||
appunti.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 1.4 KB | ||
AUTHORS | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 845 bytes | ||
camlp4_ast_subst.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 2.4 KB | ||
camlp4_ast_vars.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 7.2 KB | ||
camlp4_ast_wizard.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 149 KB | ||
camlp4_ast_wizard.mli | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 53.9 KB | ||
comonad.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 3.4 KB | ||
comonad.mli | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 2.4 KB | ||
CONFIGME | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 2.6 KB | ||
configure | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 1.1 KB | ||
COPYING | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 17.5 KB | ||
debugger | 60 | 12 years ago | Jean-Vincent Loddo | Renaming and restructuring in progress. | 1.1 KB | ||
debugger_preamble.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 3.3 KB | ||
example.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 11.3 KB | ||
INSTALL | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 7.2 KB | ||
lex.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 6.4 KB | ||
lex.mli | 44 | 12 years ago | Jean-Vincent Loddo | Third running (but still incomplete) version of se | 2.9 KB | ||
list_of_cofunctor.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 14.2 KB | ||
list_of_cofunctor.mli | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 5.1 KB | ||
make_camlp4_ast_wizard.sh | 63 | 12 years ago | Jean-Vincent Loddo | Major change: added the module Camlp4_ast_wizard f | 56.7 KB | ||
Makefile | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 32.2 KB | ||
Makefile.local | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 2.1 KB | ||
META | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 287 bytes | ||
NEWS | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 701 bytes | ||
README | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 700 bytes | ||
REQUIREMENTS | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 1.3 KB | ||
rimmel | 60 | 12 years ago | Jean-Vincent Loddo | Renaming and restructuring in progress. | 1.6 KB | ||
rimmel.mllib | 34 | 13 years ago | Jean-Vincent Loddo | Added Lex module with efficient implementation of | 889 bytes | ||
rimmel.odocl | 34 | 13 years ago | Jean-Vincent Loddo | Added Lex module with efficient implementation of | 877 bytes | ||
rimmel_pa.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 18.4 KB | ||
rimmel_pa_AST.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 11 KB | ||
rimmel_pa_AST_arities.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 5.3 KB | ||
rimmel_pa_AST_fresh_variables.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 2.6 KB | ||
rimmel_pa_AST_of_CST.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 8.5 KB | ||
rimmel_pa_AST_semantics.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 24.9 KB | ||
rimmel_pa_AST_variables.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 9.9 KB | ||
rimmel_pa_CST.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 4.7 KB | ||
rimmel_pa_expand.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 5.8 KB | ||
rimmel_pa_filters.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 7.4 KB | ||
rimmel_pa_global_state.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 6.8 KB | ||
rimmel_pa_global_state.mli | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 3.7 KB | ||
rimmel_pa_monad_identifiers.ml | 60 | 12 years ago | Jean-Vincent Loddo | Renaming and restructuring in progress. | 1.8 KB | ||
rimmel_pa_monads_plus.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 7.2 KB | ||
rimmel_pa_monads_prod.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 11 KB | ||
rimmel_pa_tools.ml | 64 | 12 years ago | Jean-Vincent Loddo | Transition OCaml 3.10/3.11 -> 3.12. Note that the | 31.8 KB | ||
rimmel_pa_WM_equipment.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 18.7 KB | ||
rimmel_runtime.ml | 60 | 12 years ago | Jean-Vincent Loddo | Renaming and restructuring in progress. | 2.2 KB | ||
signatures.ml | 44 | 12 years ago | Jean-Vincent Loddo | Third running (but still incomplete) version of se | 230 bytes | ||
signatures.mli | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 8.8 KB | ||
structures.ml | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 6.5 KB | ||
structures.mli | 65 | 11 years ago | Jean-Vincent Loddo | Minor changes: compiling now with ocamlc.opt call | 1.5 KB | ||
THANKS | 1 | 14 years ago | Jean-Vincent Loddo | First commit, unstable version (currified comonadi | 762 bytes |