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

Package: libelpi-ocaml-dev (1.14.1-1)

embeddable lambda-Prolog interpreter (dev 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 dev files.

Other Packages Related to libelpi-ocaml-dev

  • depends
  • recommends
  • suggests

Download libelpi-ocaml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
armhf 8,174.9 kB27005 kB [list of files]