Name: Anonymous 2010-11-21 15:11
(define Y
(λ (f)
((λ (x)
(f (delay (x x))))
(λ (x)
(f (delay (x x)))))))
(define fact
(Y (λ (f)
(λ (x)
(if (zero? x) 1
(* n ((force f) (- n 1))))))))
(define Y
(λ (f)
((λ (x)
(f (delay (x x))))
(λ (x)
(f (delay (x x)))))))
(define fact
(Y (λ (f)
(λ (x)
(if (zero? x) 1
(* n ((force f) (- n 1))))))))