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 |
| License | BSD3 |
| Author | Lennart Augustsson <lennart@augustsson.net> |
| Maintainer | Lennart Augustsson <lennart@augustsson.net> |
| Category | Compilers/Interpreters |
| Executables | cube |
| Upload date | Thu Dec 25 00:51:47 UTC 2008 |
| Uploaded by | LennartAugustsson |
| Build failure | ghc-6.10 (log) |
Downloads
- lambdacube-2008.12.24.tar.gz (Cabal source package)
- package description (included in the package)