(begin (define (ZED= ZEDn1 ZEDn2) (cond (#t (= ZEDn1 ZEDn2)) (else err))) (define (ZEDA ZEDm ZEDn) (cond ((ZED= ZEDm 0) (ZEDadd1 ZEDn)) ((ZED= ZEDn 0) (ZEDA (ZEDsub1 ZEDm) 1)) (#t (ZEDA (ZEDsub1 ZEDm) (ZEDA ZEDm (ZEDsub1 ZEDn)))) (else err))) (define (ZEDadd1 ZEDn) (cond (#t (+ ZEDn 1)) (else err))) (define (ZEDsub1 ZEDn) (cond (#t (- ZEDn 1)) (else err))))
(display (ZEDA 3 5))