The lambdacube package

[Tags: bsd3, program]

A simple interactive lambda cube type checker and evaluator.


Properties

Versions2008.12.24, 2008.12.25
Dependenciesbase, editline, mtl, pretty
LicenseBSD3
AuthorLennart Augustsson <lennart@augustsson.net>
MaintainerLennart Augustsson <lennart@augustsson.net>
CategoryCompilers/Interpreters
Executablescube
UploadedThu Dec 25 09:37:19 UTC 2008 by LennartAugustsson
Downloads237 total (16 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees