(define true (lambda (t) (lambda (f) t)))
(define false (lambda (t) (lambda (f) f)))
-
+test
8. Define a "neg" operator that negates "true" and "false".
-Expeceted behavior: (((neg true) 10) 20) evaluates to 20,
+Expected behavior: (((neg true) 10) 20) evaluates to 20,
(((neg false) 10) 20) evaluates to 10.
9. Define an "and" operator.
write:
the-black-or-white-value if-black if-white
+
(where if-black and if-white are anything), and get back one of if-black or
if-white, depending on which of the black-or-white values we started with. Give
a definition for each of "black" and "white". (Do it in both lambda calculus