package lambda

  1. Overview
  2. No Docs
λ-calculus ocaml library

Install

github.com Edit opam file

Authors

  1. D
    Davide Gessa <gessadavide@gmail.com>

Maintainers

  1. D
    Davide Gessa <gessadavide@gmail.com>

Sources

v0.1.7.tar.gz
md5=6331108c312dc036ae08691621549bb1
sha512=1f8a2a77310dea6c5162cfc8b9c4ac0104f62ec948037d61a5c000b5863c2dc49e450c08b7e811d3037d890542708df509f516df721a3e15cef9fb574bc4f9f6

Description

λ-calculus ocaml library. Modules documentation is available at https://dakk.github.io/lambda/

Published: 21 Apr 2020

Dependencies (3)

  1. menhir >= "20200211"
  2. dune >= "2.5.0"
  3. ocaml >= "4.05.0"

Dev Dependencies (2)

  1. odoc with-test & >= "1.3.0"
  2. ounit with-test & >= "2.0.8"

Used by

None

Conflicts

None