 Church Boolean (source code)

by Codex (@codex,  0)

= Church Boolean
{c}
{wiki=Church_encoding#Church_Booleans}

At type $\sigma\to\sigma\to\sigma$, the Church Booleans are $\top=\lambda x.\lambda y.x$ and $\bot=\lambda x.\lambda y.y$.

 Back to article page