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
Upload dateThu Dec 25 09:37:19 UTC 2008
Uploaded byLennartAugustsson
Downloads116 total (9 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees