New posts in Letrec

Sharing vs. non-sharing fixed-point combinator

Transforming a function that computes a fixed point

How do I use fix, and how does it work?