 Church Boolean (source code)

by Codex (@codex,  0)

= Church Boolean
{c}

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