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

Versions 0.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, 0.5.7, 0.5.8
Dependencies base (>=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.*) [details]
License BSD3
Copyright (c) 2010, Jan Rochel
Author Jan Rochel
Maintainer jan@rochel.info
Stability alpha
Category Graphs, Application
Home page http://rochel.info/#graph-rewriting
Uploaded Thu Feb 2 21:51:36 UTC 2012 by JanRochel
Distributions NixOS:0.5.8
Downloads 3114 total (156 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-19 [all 4 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees