Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> ocaml >> libelpi-ocaml-dev
aramo  ]
[ Quellcode: elpi  ]

Paket: 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.

Andere Pakete mit Bezug zu libelpi-ocaml-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor

libelpi-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 8.164,8 kB31932 kB [Liste der Dateien]
arm64 8.989,0 kB34608 kB [Liste der Dateien]
armhf 8.174,9 kB27005 kB [Liste der Dateien]
ppc64el 8.536,1 kB33971 kB [Liste der Dateien]