View on GitHub

IOCamlJS Demos

Online OCaml Javascript REPLs

getting started, adding new demos, compiling custom kernels

OCaml 4.01.0

OCaml 4.02.0

OCaml 4.02.0 with Modular Implicits

Prototype compiler with ad-hoc polymorphism support via modular implicits - draft paper.

MetaOCaml N102

BER MetaOCaml N102 extends OCaml 4.02.1 with language support for typed code generation.

OCaml 4.03.0+pr102 with Improved Errors

Arthur Charguérauds patch to improve type error reporting.