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
LicenseBSD3
AuthorLennart Augustsson <lennart@augustsson.net>
MaintainerLennart Augustsson <lennart@augustsson.net>
CategoryCompilers/Interpreters
Executablescube
UploadedThu Dec 25 09:37:19 UTC 2008 by LennartAugustsson
DistributionsNixOS:2008.12.25
Downloads338 total (16 in last 30 days)
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