Anonymous user
Empty program: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
imported>Tromp mNo edit summary |
imported>Tromp |
||
Line 262:
At 4 bits, or half a byte, the smallest BLC program is `cat' :
<syntaxhighlight>
corresponding to the smallest valid lambda term, the identity function \x.x
|