;;; Testing the Y Combinator in A++
;;;
(define Y
(lambda(f)
((lambda(x)
(f (x x)))
(lambda(x)
(f (x x))))))
;;
(define M
(lambda(fac)
(lambda(n)
(lif (equaln n zero)
one
(mult n (fac (sub n one)))))))
;;
(define FAC (Y M))
;;
(ndisp! (FAC five))
|