Summary
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.
Versions
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
USE flags
General
Dependencies
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
Runtime Dependencies
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
Change logs
- 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>