Blame

Date:
Message:
Import sources
Actions:
History | Blob | Raw File
1 665c255d 2023-08-04 jrmu (define (A x y)

2 665c255d 2023-08-04 jrmu   (cond ((= y 0) 0)

3 665c255d 2023-08-04 jrmu 	((= x 0) (* 2 y))

4 665c255d 2023-08-04 jrmu 	((= y 1) 2)

5 665c255d 2023-08-04 jrmu 	(else (A (- x 1)

6 665c255d 2023-08-04 jrmu 		 (A x (- y 1))))))