Empty program: Difference between revisions

Empty program (view source)

28 bytes removed , 3 months ago

m

56

edits

Revision as of 17:31, 21 February 2024 (view source) Marvin (talk \| contribs) (Add bruijn) ← Older edit		Revision as of 18:00, 1 March 2024 (view source) Tromp (talk \| contribs) m (→‎{{header\|Binary Lambda Calculus}}) Newer edit →
(One intermediate revision by one other user not shown)
Line 262: At 4 bits, or half a byte, the smallest BLC program is `cat' : <~~syntaxhighlight~~pre>00 10</~~syntaxhighlight~~pre> corresponding to the smallest valid lambda term, the identity function \x.x Line 340: =={{header\|Bruijn}}== The smallest program in bruijn is ~~the~~ the identity function (\x.x) and returns its input: <syntaxhighlight>main [0]</syntaxhighlight>