The graph-rewriting-ww package

[Tags: bsd3, program]

Evaluate a given λ-term (letrecs may be used) interactively. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach. The reduction rules are split into two groups, safe rules and unsafe rules, which implement the procedure for unsharing the MFE under one duplicator.

Properties

Versions0.1, 0.2, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4
Change logNone available
Dependenciesbase (>=4 && <4.8), base-unicode-symbols (==0.2.*), GLUT (>=2.2 && <2.6), graph-rewriting (==0.7.*), graph-rewriting-gl (>=0.6.9 && <0.8), graph-rewriting-layout (>=0.5.1 && <0.6), IndentParser (==0.2.*), OpenGL (>=2.4 && <2.10), parsec (==2.1.*) [details]
LicenseBSD3
Copyright(c) 2010, Jan Rochel
AuthorJan Rochel
Maintainerjan@rochel.info
CategoryApplication, Compilers/Interpreters
Home pagehttp://rochel.info/#graph-rewriting
Executablesww
UploadedThu Oct 23 17:57:14 UTC 2014 by JanRochel
DistributionsNixOS:0.3.4
Downloads959 total (48 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
Last success reported on 2015-05-19 [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees