search

plum-umd / adapton.ocaml

(Nominal) Adapton in OCaml
50 stars 5 forks source link

readme

Adapton Build Status

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

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.