lambdacube: A simple lambda cube type checker.
A simple interactive lambda cube type checker and evaluator.
Downloads
- lambdacube-2008.12.25.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 2008.12.24, 2008.12.25 |
---|---|
Dependencies | base, editline, mtl, pretty [details] |
License | BSD-3-Clause |
Author | Lennart Augustsson <lennart@augustsson.net> |
Maintainer | Lennart Augustsson <lennart@augustsson.net> |
Category | Compilers/Interpreters |
Uploaded | by LennartAugustsson at 2008-12-25T09:37:19Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | cube |
Downloads | 1890 total (10 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2017-01-02 [all 9 reports] |