This is an interpreter for a subset of OCaml that is dynamically typed. Its purpose is to explore the semantic of the language and help to give it a real specification. It has been developped in the CELTIQUE team at Inria.
This interpreter relies on the following packages:
- OCaml (v4.04.0)
- OCamlfind (v1.3.7)
- compiler-libs.common (v0.9.0)
- Batteries Included (v2.6.0)