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 00:51:47 UTC 2008
Uploaded byLennartAugustsson
Downloads177 total (14 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees