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
