Defining Boolean in λ-calculus

Boolean values can be defined in the λ-calculus although they are often "built into" programming languages based on λ-calculus.




There are more λ-calculus examples here.