@hackage graph-rewriting-ww0.1

Interactive reduction of lambda-calculus with explicit sharing

Evaluate a λ-letrec term in an interactive graph reduction system. It uses duplicators to explicitely render sharing (and unsharing) according to Wadsworth's approach.