Skip to content
Sections
>> Trisquel >> Пакети >> aramo >> ocaml >> libelpi-ocaml
aramo  ]
[ Източник: elpi  ]

Пакет: 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.

Други пакети, свързани с libelpi-ocaml

  • зависимости
  • препоръчани
  • предложени

Изтегляне на libelpi-ocaml

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
arm64 2 492,7 кБ7866 кБ [списък на файловете]