I am working my way through a book called Types and Programming Languages, by Benjamin C. Pierce at the moment. I’ve just started the chapter on lambda calculus and I thought it would be fun to be able to include the λ character in my notes. I realize that this sounds a little like displac …