Anonymous user
Halt and catch fire: Difference between revisions
→{{header|Binary Lambda Calculus}}
imported>Tromp (restore alphabetical order) |
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 BLC program the smallest to catch fire:
<
=={{header|BQN}}==
|