Anonymous user
Empty program: Difference between revisions
→{{header|Binary Lambda Calculus}}
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
|