Lambda calculus: Why true and false are functions | Heykuki News