Empty program: Difference between revisions
Content added Content deleted
imported>Tromp (Add smallest BLC program) |
imported>Tromp |
||
Line 261: | Line 261: | ||
At 4 bits, or half a byte, the smallest BLC program is `cat' : |
At 4 bits, or half a byte, the smallest BLC program is `cat' : |
||
< |
<pre>0010</pre> |
||
corresponding to the smallest valid lambda term, the identity function \x.x |
corresponding to the smallest valid lambda term, the identity function \x.x |