dev-lang/elpi – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
1.17.0 : 0/1.17.0	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
1.16.10 : 0/1.16.10	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
1.16.9 : 0/1.16.9	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc

Upstream

Changelog	https://raw.githubusercontent.com/LPCIC/elpi/master/CHANGES.md
Bugs-To	https://github.com/LPCIC/elpi/issues/
Remote-Id	https://github.com/LPCIC/elpi

Full description

ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that are handy to adapt the language to the host application.
USE flags
Global Use Flags
- ocamlopt
- test
License

LGPL-2.1+
Maintainer(s)

ML , Gentoo Mathematics Project

CI Report (verbose)

Repology

Git log (short)

dev-lang/ elpi