Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-lang/
elpi

Embeddable Lambda Prolog Interpreter in OCaml

https://github.com/LPCIC/elpi/

Latest Commits

  • Commits on 2023-03-15
    • dev-lang/elpi: new package; add 1.16.9
      2a032e6
      Maciej Barć committed on 2023-03-15 00:25:40 UTC
      Manifest elpi-1.16.9.ebuild metadata.xml