10 lines
228 B
Text
10 lines
228 B
Text
use std
|
|
|
|
for each (val nat n) from 0 to 6
|
|
for each (val nat m) from 0 to 3
|
|
print "A("m","n") = "(A m n)
|
|
|
|
.:A <nat m, nat n>:. -> nat
|
|
return (n+1) if m == 0
|
|
return (A (m - 1) 1) if n == 0
|
|
A (m - 1) (A m (n - 1))
|