lambdacube: A simple lambda cube type checker.
A simple interactive lambda cube type checker and evaluator.
Versions | 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 Thu Dec 25 09:37:19 UTC 2008 |
Distributions | NixOS:2008.12.25 |
Executables | cube |
Downloads | 862 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by rule of succession] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2017-01-02 [all 9 reports] Hackage Matrix CI |
Downloads
- lambdacube-2008.12.25.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)