The lambdacube package
A simple interactive lambda cube type checker and evaluator.
Properties
| Versions | 2008.12.24, 2008.12.25 |
|---|---|
| Dependencies | base, editline, mtl, pretty [details] |
| License | BSD3 |
| Author | Lennart Augustsson <lennart@augustsson.net> |
| Maintainer | Lennart Augustsson <lennart@augustsson.net> |
| Category | Compilers/Interpreters |
| Uploaded | Thu Dec 25 09:37:19 UTC 2008 by LennartAugustsson |
| Distributions | NixOS:2008.12.25 |
| Executables | cube |
| Downloads | 599 total (5 in the last 30 days) |
| Rating | 0.0 (0 ratings) [clear 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 (included in the package)