Church encoding represents data and operations as terms of the lambda calculus. A Church numeral represents a natural number by repeated function application; a Church Boolean selects one of two arguments.
New to topics? Read the docs here!
New to topics? Read the docs here!