lambdaversion
λ-calculus ocaml library
λ-calculus ocaml library. Modules documentation is available at https://dakk.github.io/lambda/
Author | Davide Gessa <gessadavide@gmail.com> |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/dakk/lambda |
Issue Tracker | https://github.com/dakk/lambda/issues |
Maintainer | Davide Gessa <gessadavide@gmail.com> |
Dependencies | |
Source [http] | https://github.com/dakk/lambda/archive/v0.1.7.tar.gz md5=6331108c312dc036ae08691621549bb1 sha512=1f8a2a77310dea6c5162cfc8b9c4ac0104f62ec948037d61a5c000b5863c2dc49e450c08b7e811d3037d890542708df509f516df721a3e15cef9fb574bc4f9f6 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lambda/lambda.0.1.7/opam |
No package is dependent