elpi

ELPI - Embeddable λProlog Interpreter

Libraries

This package provides the following libraries (via dune):

elpi

Documentation: Elpi

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

elpi.trace.ppx

Documentation: Trace_ppx

Dependencies: ppxlib.ast, ppxlib

elpi.trace.runtime

Documentation:

Dependencies: re