Blob


1 (define (A x y)
2 (cond ((= y 0) 0)
3 ((= x 0) (* 2 y))
4 ((= y 1) 2)
5 (else (A (- x 1)
6 (A x (- y 1))))))