Halt and catch fire: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
imported>Tromp |
|||
Line 104:
BLC forces normal programs to start with a closed lambda term, by mapping free variables to the divergent Omega = <code>(\x.x x)(\x.x x)</code>, the lambda calculus equivalent of an infinite loop. That makes the following 2-bit BLC program the smallest to catch fire:
<pre>10</pre>
=={{header|BQN}}==
| |||