dev-lang / elpi

Embeddable Lambda Prolog Interpreter in OCaml

Official package sites : https://github.com/LPCIC/elpi/ ·

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.

v1.18.2 :: 0/1.18.2 :: gentoo

Modified
License
LGPL-2.1+
Keywords
~amd64
USE flags
ocamlopt test

v1.17.4 :: 0/1.17.4 :: gentoo

Modified
License
LGPL-2.1+
Keywords
~amd64
USE flags
ocamlopt test

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / atd : Static types for JSON APIs

dev-ml / dune : A composable build system for OCaml

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / ppx_deriving : Type-driven code generation for OCaml

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-ml / re : Regular expression library for OCaml

dev-ml / stdlib-shims : Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / atd : Static types for JSON APIs

dev-ml / dune : A composable build system for OCaml

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / ppx_deriving : Type-driven code generation for OCaml

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-ml / re : Regular expression library for OCaml

dev-ml / stdlib-shims : Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/elpi: bump to 1.18.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/elpi: drop old 1.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/elpi: bump to 1.17.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/elpi: drop old 1.16.10
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/elpi: drop old 1.16.9
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/elpi: bump to 1.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/elpi: bump to 1.16.10
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/elpi: new package; add 1.16.9
Signed-off-by: Maciej Barć <xgqt@gentoo.org>