Update about to show I'm working on a book about lambda calculus