;Exercise 1.5 - Applicative vs normal-order evaluation.
;given this code:
(define (p) (p))

(define (test x y)
  (if (= x 0)
      0
      y))

;what happens when we evaluate this?
(test 0 (p))