church.scm

(define Y
  (lambda (f)
    ((lambda (x) (x x))
     (lambda (x)
       (f (lambda (y) ((x x) y)))))))

((Y (lambda (fact)
      (lambda (x)
	(cond
	 ((zero? x) 1)
	 (else (* x (fact (- x 1))))))))
 5)

(define fact
  (lambda (n)
    (cond
     ((zero? n) 1)
     (else
      (* n (fact (- n 1)))))))

(fact 10)

((lambda (x)
   ((x (lambda (y)
	 (+ y 1)))
    0))
 ((lambda (n)
    (lambda (f)
      (lambda (x)
	(f ((n f) x)))))
  (lambda (f)
    (lambda (x) x))))

(define zero
  (lambda (x) x))

(define one
  (lambda (f)
    (lambda (x)
      (f x))))

(define two
  (lambda (f)
    (lambda (x)
      (f (f x)))))