Skip to content
Sections
>> Trisquel >> Packages >> aramo >> ocaml >> libelpi-ocaml
aramo  ]
[ Source: elpi  ]

Package: libelpi-ocaml (1.14.1-1)

embeddable lambda-Prolog interpreter (runtime files)

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 runtime files.

Other Packages Related to libelpi-ocaml

  • depends
  • recommends
  • suggests

Download libelpi-ocaml

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 2,492.7 kB7866 kB [list of files]