Snippets on lambda calculus