(lambda (x)
(lambda (y)
((lambda (x)
(x y))
x)))
(lambda (z)
((lambda (a b c)
(a (lambda (a) (+ a c)) b))
(lambda (f x)
(f (z x)))))
If there are problems with this page, please send mail to <cs330ta@cs.byu.edu>
If you have a comment about the class, please send mail to <seamons@cs.byu.edu>
© 1994-2009, Phillip J. Windley and
Bryan S. Morse. All rights reserved.
Reproduction of all or part of this work is permitted for educational or research use provided
that this copyright notice is included in any copy.
Last updated at 3:04 pm on Monday, December 30, 2002.