├── .gitignore ├── .travis-ocaml.sh ├── .travis.sh ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md └── examples ├── generator-from-iterator ├── README.md └── multicore-ocaml │ ├── Makefile │ └── main.ml ├── generator-from-list ├── README.md ├── koka │ ├── Makefile │ ├── gen-strict.kk │ └── gen.kk └── multicore-ocaml │ ├── Makefile │ └── main.ml ├── pipes ├── README.md └── frank │ ├── Makefile │ └── pipes.fk ├── recursive-cow ├── README.md ├── eff │ ├── Makefile │ └── cow.eff ├── frank │ ├── Makefile │ └── cow.fk └── koka │ ├── Makefile │ └── cow.kk ├── simple-binary-choice ├── README.md ├── eff │ ├── Makefile │ └── choice.eff └── koka │ ├── Makefile │ └── choice.kk ├── simple-exception ├── README.md ├── eff │ ├── Makefile │ └── exception.eff └── koka │ ├── Makefile │ └── exception.kk └── simple-state ├── README.md ├── eff ├── Makefile └── state.eff ├── frank ├── Makefile └── state.fk ├── koka ├── Makefile └── state.kk └── multicore-ocaml ├── Makefile └── main.ml /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | **/koka/out 3 | -------------------------------------------------------------------------------- /.travis-ocaml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/.travis-ocaml.sh -------------------------------------------------------------------------------- /.travis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/.travis.sh -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/README.md -------------------------------------------------------------------------------- /examples/generator-from-iterator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-iterator/README.md -------------------------------------------------------------------------------- /examples/generator-from-iterator/multicore-ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-iterator/multicore-ocaml/Makefile -------------------------------------------------------------------------------- /examples/generator-from-iterator/multicore-ocaml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-iterator/multicore-ocaml/main.ml -------------------------------------------------------------------------------- /examples/generator-from-list/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/README.md -------------------------------------------------------------------------------- /examples/generator-from-list/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/koka/Makefile -------------------------------------------------------------------------------- /examples/generator-from-list/koka/gen-strict.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/koka/gen-strict.kk -------------------------------------------------------------------------------- /examples/generator-from-list/koka/gen.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/koka/gen.kk -------------------------------------------------------------------------------- /examples/generator-from-list/multicore-ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/multicore-ocaml/Makefile -------------------------------------------------------------------------------- /examples/generator-from-list/multicore-ocaml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/generator-from-list/multicore-ocaml/main.ml -------------------------------------------------------------------------------- /examples/pipes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/pipes/README.md -------------------------------------------------------------------------------- /examples/pipes/frank/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/pipes/frank/Makefile -------------------------------------------------------------------------------- /examples/pipes/frank/pipes.fk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/pipes/frank/pipes.fk -------------------------------------------------------------------------------- /examples/recursive-cow/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/README.md -------------------------------------------------------------------------------- /examples/recursive-cow/eff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/eff/Makefile -------------------------------------------------------------------------------- /examples/recursive-cow/eff/cow.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/eff/cow.eff -------------------------------------------------------------------------------- /examples/recursive-cow/frank/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/frank/Makefile -------------------------------------------------------------------------------- /examples/recursive-cow/frank/cow.fk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/frank/cow.fk -------------------------------------------------------------------------------- /examples/recursive-cow/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/koka/Makefile -------------------------------------------------------------------------------- /examples/recursive-cow/koka/cow.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/recursive-cow/koka/cow.kk -------------------------------------------------------------------------------- /examples/simple-binary-choice/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-binary-choice/README.md -------------------------------------------------------------------------------- /examples/simple-binary-choice/eff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-binary-choice/eff/Makefile -------------------------------------------------------------------------------- /examples/simple-binary-choice/eff/choice.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-binary-choice/eff/choice.eff -------------------------------------------------------------------------------- /examples/simple-binary-choice/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-binary-choice/koka/Makefile -------------------------------------------------------------------------------- /examples/simple-binary-choice/koka/choice.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-binary-choice/koka/choice.kk -------------------------------------------------------------------------------- /examples/simple-exception/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-exception/README.md -------------------------------------------------------------------------------- /examples/simple-exception/eff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-exception/eff/Makefile -------------------------------------------------------------------------------- /examples/simple-exception/eff/exception.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-exception/eff/exception.eff -------------------------------------------------------------------------------- /examples/simple-exception/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-exception/koka/Makefile -------------------------------------------------------------------------------- /examples/simple-exception/koka/exception.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-exception/koka/exception.kk -------------------------------------------------------------------------------- /examples/simple-state/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/README.md -------------------------------------------------------------------------------- /examples/simple-state/eff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/eff/Makefile -------------------------------------------------------------------------------- /examples/simple-state/eff/state.eff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/eff/state.eff -------------------------------------------------------------------------------- /examples/simple-state/frank/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/frank/Makefile -------------------------------------------------------------------------------- /examples/simple-state/frank/state.fk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/frank/state.fk -------------------------------------------------------------------------------- /examples/simple-state/koka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/koka/Makefile -------------------------------------------------------------------------------- /examples/simple-state/koka/state.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/koka/state.kk -------------------------------------------------------------------------------- /examples/simple-state/multicore-ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/multicore-ocaml/Makefile -------------------------------------------------------------------------------- /examples/simple-state/multicore-ocaml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/effect-handlers/effects-rosetta-stone/HEAD/examples/simple-state/multicore-ocaml/main.ml --------------------------------------------------------------------------------