Explicacion recursividad - Monitor miguel

(define(++ a)(+ a 1))
(define(-- a)(- a 1))

(define(+ a b)
  (cond[(= b 0) a]
       [else(+(++ a)(-- b))]))

(define(- a b)
  (cond[(= b 0) a]
       [else(-(-- a)(-- b))]))

(define(* a b)(mul a b 0))

(define(mul a b c)
  (cond[(= b 0) c]
       [else(mul a(-- b)(+ c a))]))

(define(/ a b)(div a b 0))

(define(div a b c)
  (cond[(= b 0) 'ZeroDivision]
       [(< a b) c]
       [else(div (- a b)b(++ c))]))

(define(% a b)
  (cond[(= b 0) 'ZeroDivision]
       [(< a b) a]
       [else(%(- a b)b)]))

(define(^ a b)...)