acker i j = if (i==0) (j+1) acker(i-1, if (j==0) 1 acker(i,j-1))
acker(3,7)