; The starting point.



(let ((fac (lambda (f n)                               ; CURRY (lambda (f n) ...)
              (if (= n 0) 1 (* n (f f (- n 1)))))))
  (fac fac 5))