intro to lambda calculus
editorial
formatting