Halt and catch fire: Difference between revisions
Content added Content deleted
imported>Tromp |
|||
Line 104: | 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: |
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> |
|||
<syntaxhighlight>10</syntaxhighlight> |
|||
=={{header|BQN}}== |
=={{header|BQN}}== |