7 lines
202 B
Text
7 lines
202 B
Text
ack(m,n)
|
|
where
|
|
ack(m,n) = if m eq 0 then n+1
|
|
else if n eq 0 then ack(m-1,1)
|
|
else ack(m-1, ack(m, n-1)) fi
|
|
fi;
|
|
end
|