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

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

Другие пакеты, относящиеся к libelpi-ocaml-dev

  • зависимости
  • рекомендации
  • предложения

Загрузка libelpi-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
ppc64el 8 536,1 Кб33971 Кб [список файлов]