Ackermann function: Difference between revisions
m
→{{header|Picat}}: Added out tag,
m (→{{header|Picat}}: Added out tag,) |
|||
Line 6,566:
time(check_larger(4,2)),
nl.
% Using a2/2 and chop off large output
Line 6,579 ⟶ 6,578:
end,
println(digits=Len).
% Plain tabled (memoized) version with guards
Line 6,597 ⟶ 6,595:
</lang>
{{out}}
<pre>
[m = 0,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]]
|