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

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.4), base-unicode-symbols (==0.2.*), GLUT (==2.2.*), graph-rewriting (>=0.4.4 && <0.6), graph-rewriting-gl (>=0.6.5 && <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 May 19 12:49:41 UTC 2011 by JanRochel
Distributions NixOS:0.5.8
Downloads 2719 total (49 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