@hackage graph-rewriting-lambdascope0.4.4

Implementation of Lambdascope as an interactive graph-rewriting system

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.