Module lambda_calculus::booleans

Church booleans

Functions

and	Applied to two Church-encoded booleans it returns their Church-encoded conjunction.
fls	A Church-encoded boolean false.
if_else	Applied to a Church encoded predicate and two terms it returns the first one if the predicate is true or the second one if the predicate is false.
not	Applied to a Church-encoded boolean it returns its Church-encoded negation.
or	Applied to two Church-encoded booleans it returns their Church-encoded disjunction.
tru	A Church-encoded boolean true.
xor	Applied to a Church-encoded boolean it returns its Church-encoded exclusive disjunction.