(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.