The lambdacube package

[Tags: bsd3, program]

A simple interactive lambda cube type checker and evaluator.

Properties

Versions2008.12.24, 2008.12.25
Change logNone available
Dependenciesbase, editline, mtl, pretty [details]
LicenseBSD3
AuthorLennart Augustsson <lennart@augustsson.net>
MaintainerLennart Augustsson <lennart@augustsson.net>
CategoryCompilers/Interpreters
Executablescube
UploadedThu Dec 25 09:37:19 UTC 2008 by LennartAugustsson
Downloads393 total (20 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-05-20 [all 3 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees