lambdapi 1.0 · OCaml Package

Implementation of the λΠ-calculus modulo rewriting

Version

Description

Lambdapi is an implementation of the λΠ-calculus modulo rewriting, that is mostly compatible with Dedukti (https://github.com/Deducteam/Dedukti).

Install

Authors

Maintainers

Sources

lambdapi-1.0.tar.gz

md5=16c3b0aea9e6aa0e13ee7dc59f9239cb

Dependencies

timed

>= "1.0"

bindlib

= "5.0.0"

earley-ocaml

>= "1.0.2"

earley

>= "1.0.2"

menhir

ocamlbuild

build

ocamlfind

build

ocaml

>= "4.04.0"

Reverse Dependencies