; Ackermann
(define a (lambda (n m)
	(if (eqv? n 0) (+ m 1)
	(if (eqv? m 0) (a (- n 1) 1)
	(a (- n 1) (a n (- m 1)))))))
