@hackage / maxsharing

Maximal sharing of terms in the lambda calculus with letrec