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.
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.