Working with lambda calculus, and want to know what everybody has in their portfolio.