gpo.zugaina.org

Search Portage & Overlays:

dev-lang/elpi

Embeddable Lambda Prolog Interpreter in OCaml

Screenshots

  • elpi-1.18.2
    ~amd64
    +ocamlopt test

    View      Download      Browse     License: LGPL-2.1+   
    Overlay: gentoo
  • elpi-1.17.4
    ~amd64
    +ocamlopt test

    View      Download      Browse     License: LGPL-2.1+   
    Overlay: gentoo

ChangeLog

ChangeLog Not Found