Ackermann function: Difference between revisions
→{{header|EasyLang}}
(→{{header|Coq}}: Updated Coq example) |
|||
Line 3,073:
=={{header|EasyLang}}==
<syntaxhighlight lang="text">
proc ackerm m n . r .
if m = 0
r = n + 1
Line 3,084 ⟶ 3,085:
.
call ackerm 3 6 r
print r
</syntaxhighlight>
=={{header|Egel}}==
| |||