@hackage graph-rewriting-ww0.2

Interactive reduction of lambda-calculus with explicit sharing

Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach.