The latest version of graph-rewriting-lambdascope is 0.5.11-0.
graph-rewriting-lambdascope
Version 0.5.8 revision 0 uploaded by JanRochel.
Package meta
- Synopsis
- Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system
- Description
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. 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.
- Author
- Jan Rochel
- Bug reports
- n/a
- Category
- Compilers/Interpreters, Application
- Copyright
- (c) 2010, Jan Rochel
- Homepage
- http://rochel.info/#graph-rewriting
- Maintainer
- jan@rochel.info
- Package URL
- n/a
- Stability
- alpha