Revision as of 12:37, 21 February 2024 (view source) imported>Tromp (→‎{{header\|Binary Lambda Calculus}}) ← Older edit		Revision as of 12:38, 21 February 2024 (view source) imported>Tromp mNo edit summary Newer edit →
Line 259: =={{header\|Binary Lambda Calculus}}== At 4 bits, or half a byte, the smallest BLC program is `cat' : <~~pre~~syntaxhighlight>0010</~~pre~~syntaxhighlight> corresponding to the smallest valid lambda term, the identity function \x.x =={{header\|Beef}}==

Empty program (view source)