@hackage graph-rewriting-ww0.3.8
Interactive evaluator of the lambda-calculus with explicit sharing
Installation
Dependencies (0)
- GLUT >=2.2 && <3
- OpenGL >=3.0 && <4
- base >=4.9 && <5
- base-unicode-symbols >=0.2 && <0.3
- graph-rewriting >=0.7.8 && <0.9
- graph-rewriting-gl >=0.7.6 && <0.8 Show all…
Dependents (1)
@hackage/acme-everything
Evaluate a given λ-term (letrecs may be used) interactively in a port-graph rewriting system. 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.