@hackage graph-rewriting-lambdascope0.5.11
Lambdascope, an optimal evaluator of the lambda calculus
Categories
License
BSD-3-Clause
Maintainer
jan@rochel.info
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
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
Lambdascope is an optimal evaluator 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. This package contains an interactive application, which implements Lambdascope as a port-graph rewriting system. Call "lambdascope" with one of the files from the "examples" directory as an argument. For usage of the GUI see GraphRewriting.GL.UI. Use the "--lmo" flag for leftmost outermost evalution and "--bench" for non-graphical evaluation to weak head normal form.