; ackermann's function

(define (a m n)
  (cond ((zero? m) (+ n 1))
        ((zero? n) (a (- m 1) 1))
        (else (a (- m 1) (a m (- n 1))))))

(display (a 3 4))

125