elpi

ELPI - Embeddable λProlog Interpreter

Libraries

This package provides the following libraries (via dune):

elpi

Documentation: Elpi

Dependencies: re.str, unix, stdlib-shims, elpi.parser, elpi.util, ppx_deriving.runtime, elpi.trace.runtime

elpi.lexer_config

Documentation:

Dependencies: elpi.util

elpi.parser

Documentation:

Dependencies: unix, menhirLib, elpi.lexer_config, elpi.util, stdlib-shims, ppx_deriving.runtime

elpi.trace.ppx

Documentation: Trace_ppx

Dependencies: ppxlib.ast, ppxlib

elpi.trace.runtime

Documentation:

Dependencies: re

elpi.util

Documentation:

Dependencies: re.str