Empty program: Difference between revisions

m
imported>Tromp
(Add smallest BLC program)
 
(5 intermediate revisions by 2 users not shown)
Line 259:
 
=={{header|Binary Lambda Calculus}}==
 
At 4 bits, or half a byte, the smallest BLC program is `cat' :
 
<pre>00 10</pre>
<syntaxhighlight>0010</syntaxhighlight>
 
corresponding to the smallest valid lambda term, the identity function \x.x
 
=={{header|Beef}}==
Line 337 ⟶ 338:
Pressing enter from the mged prompt, just returns another prompt, so I suppose that is the smallest possible program. However, before we can draw anything we at least need to open a database:
<syntaxhighlight lang="mged">opendb empty.g y</syntaxhighlight>
 
=={{header|Bruijn}}==
The smallest program in bruijn is the identity function (\x.x) and returns its input:
 
<syntaxhighlight>0010main [0]</syntaxhighlight>
 
=={{header|C}}==
56

edits