Lambda calculus: Why true and false are functions | Hacker News Reader