The latest version of graph-rewriting-lambdascope is 0.5.11-0.
graph-rewriting-lambdascope
Version 0.4.5 revision 0 uploaded by JanRochel.
Package meta
- Synopsis
- Implementation of Lambdascope as an interactive graph-rewriting system
- Description
Lambdascope is an optimal implementation 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. Examples of lambda terms are supplied in the "examples" directory.
- Author
- Jan Rochel
- Bug reports
- n/a
- Category
- Graphs, Application
- Copyright
- (c) 2010, Jan Rochel
- Homepage
- n/a
- Maintainer
- jan@rochel.info
- Package URL
- n/a
- Stability
- alpha