Binary package “elpi” in ubuntu oracular
embeddable lambda-Prolog interpreter (tool)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
.
This package provides the command-line tool.
Source package
Published versions
- elpi 1.17.4-3build1 in amd64 (Release)
- elpi 1.18.2-4 in amd64 (Proposed)
- elpi 1.18.2-4 in amd64 (Release)
- elpi 1.17.4-3build1 in arm64 (Release)
- elpi 1.18.2-4 in arm64 (Proposed)
- elpi 1.18.2-4 in arm64 (Release)
- elpi 1.17.4-3build1 in armhf (Release)
- elpi 1.18.2-4 in armhf (Proposed)
- elpi 1.18.2-4 in armhf (Release)
- elpi 1.17.4-3build1 in ppc64el (Release)
- elpi 1.18.2-4 in ppc64el (Proposed)
- elpi 1.18.2-4 in ppc64el (Release)
- elpi 1.17.4-3build1 in riscv64 (Release)
- elpi 1.18.2-4 in riscv64 (Proposed)
- elpi 1.18.2-4 in riscv64 (Release)
- elpi 1.17.4-3build1 in s390x (Release)
- elpi 1.18.2-4 in s390x (Proposed)
- elpi 1.18.2-4 in s390x (Release)