elpi

ELPI - Embeddable λProlog Interpreter
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

elpi

Documentation: Elpi

Dependencies: re.str, camlp5.gramlib, unix, ppx_deriving.runtime, elpi.trace

elpi.trace

Documentation: Trace

Dependencies: re

elpi.trace_ppx

Documentation: Trace_ppx

Dependencies: ppx_tools_versioned, ocaml-migrate-parsetree