Adapton

(Nominal) Adapton for OCaml.

Adapton provides tools to build programs that compute incrementally. See adapton.org for more information about Adapton generally, including its contributors, publications and alternative implementations.

Adapton requires:

• OCaml version 4.02.0+
• OPAM packages: ppx_deriving

To build Adapton, just run make.

To pin Adapton as an OPAM package (under the package name 'adapton'), just run make install.

For a simple and well-documented example, go here. For a more involved, poorly documented, research-quality use of Adapton, see Inc IMP, an incremental interpreter for a small imperative programming language.

Please contact @labichn if you have any questions or comments about this Adapton library.