Minimal Parenthesization of Lambda Terms

When writing a compiler, it's useful to be able to visualize the syntax tree as it gets processed. Often you end up with lots of unneeded parentheses. This post shows one way of avoiding that.