;; http://www.dreamsongs.com/NewFiles/WhyOfY.pdf

(define (y f) (lambda () (f (y f))))

(define fac
  ((y (lambda (f)
        (lambda (n)
          (if (= n 0) 1 (* n ((f) (- n 1)))))))))

(print (fac 10))