Empty program: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
m (→Bruijn) |
|||
Line 262:
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
| |||