The graph-rewriting-lambdascope package

[Tags: bsd3, program]

Lambdascope is an optimal implementation of the λβ-calculus described in the paper Lambdascope - Another optimal implementation of the lambda-calculus by Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Examples of lambda terms are supplied in the examples directory.


Properties

Versions0.4.3, 0.4.4, 0.4.5, 0.4.6, 0.4.7, 0.4.8, 0.4.9, 0.4.10, 0.4.11, 0.5, 0.5.2, 0.5.3, 0.5.4, 0.5.5, 0.5.6
Dependenciesbase (>=4 && <4.3), base-unicode-symbols (==0.2.*), GLUT (==2.2.*), graph-rewriting (>=0.4.4 && <0.5), graph-rewriting-gl (==0.5.*), graph-rewriting-layout (>=0.4.1 && <0.5), IndentParser (==0.2.*), OpenGL (==2.4.*), parsec (==2.1.*)
LicenseBSD3
Copyright(c) 2010, Jan Rochel
AuthorJan Rochel
Maintainerjan@rochel.info
Stabilityalpha
CategoryGraphs, Application
Executableslambdascope
UploadedMon Jul 12 10:25:25 UTC 2010 by JanRochel
Downloads1208 total (93 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

Downloads

Maintainers' corner

For package maintainers and hackage trustees