Empty program: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
imported>Tromp |
|||
| (2 intermediate revisions by one other user not shown) | |||
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
Line 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>main [0]</syntaxhighlight>
=={{header|C}}==
| |||