Boolean values: Difference between revisions
Content added Content deleted
imported>Tromp (add booleans for BLC) |
imported>Tromp |
||
Line 668: | Line 668: | ||
=={{header|Binary Lambda Calculus}}== |
=={{header|Binary Lambda Calculus}}== |
||
The standard representations for the booleans in lambda calculus are true = \then. \else. then, |
The standard representations for the booleans in lambda calculus are true = \then. \else. then, false = \then. \else. else, which correspond to BLC programs <code>00 00 110</code> and <code>00 00 10</code>. |
||
<code>00 00 110</code> and <code>00 00 10</code> |
|||
=={{header|BQN}}== |
=={{header|BQN}}== |