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. Call lambdascope with one of the files from the examples directory as an argument. For usage of the GUI see GraphRewriting.GL.UI.


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.5), base-unicode-symbols (==0.2.*), GLUT (==2.2.*), graph-rewriting (>=0.4.4 && <0.6), graph-rewriting-gl (>=0.6.7 && <0.7), 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
Home pagehttp://rochel.info/#graph-rewriting
Executableslambdascope
UploadedThu Feb 2 21:51:36 UTC 2012 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