lambdaversion

λ-calculus ocaml library

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

AuthorDavide Gessa <gessadavide@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/dakk/lambda
Issue Trackerhttps://github.com/dakk/lambda/issues
MaintainerDavide Gessa <gessadavide@gmail.com>
Dependencies
Source [http] https://github.com/dakk/lambda/archive/v0.1.7.tar.gz
md5=6331108c312dc036ae08691621549bb1
sha512=1f8a2a77310dea6c5162cfc8b9c4ac0104f62ec948037d61a5c000b5863c2dc49e450c08b7e811d3037d890542708df509f516df721a3e15cef9fb574bc4f9f6
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lambda/lambda.0.1.7/opam
No package is dependent