@hackage graph-rewriting-ww0.2
Interactive reduction of lambda-calculus with explicit sharing
Installation
Dependencies (0)
- GLUT >=2.2 && <2.3
- IndentParser >=0.2 && <0.3
- OpenGL >=2.4 && <2.5
- base >=4.3 && <4.6
- base-unicode-symbols >=0.2 && <0.3
- graph-rewriting >=0.7 && <0.8 Show all…
Dependents (1)
@hackage/acme-everything
Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach.