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