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
Dependenciesbase (>=4 && <4.3), base-unicode-symbols (==0.2.*), GLUT (==2.2.*), graph-rewriting (>=0.4.4 && <0.5), graph-rewriting-gl (==0.6.*), 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
Upload dateFri Jul 16 11:03:20 UTC 2010
Uploaded byJanRochel
Downloads745 total (108 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees