View source for Category talk:Scheme

(define program
  '((def true_0 (lambda x (lambda y x)))
    (def false_0 (lambda x (lambda y y)))
 
    (def not_0 (lambda x ((x false_0) true_0)))
    (not_0 true_0)
    (not_0 false_0)
 
    (def and_0 (lambda x (lambda y ((x y) false_0))))
    ((and_0 true_0) true_0)
    ((and_0 true_0) false_0)
    ((and_0 false_0) true_0)
    ((and_0 false_0) false_0)
 
    (def or_0 (lambda x (lambda y ((x true_0) y))))
    ((or_0 true_0) true_0)
    ((or_0 true_0) false_0)
    ((or_0 false_0) true_0)
    ((or_0 false_0) false_0)))


> (interpret program)
(lambda x (lambda y x))
(lambda x (lambda y y))

(lambda x ((x false_0) true_0))
(lambda x (lambda y y))
(lambda x (lambda y x))

(lambda x (lambda y ((x y) false_0))) 
(lambda x (lambda y x)) 
(lambda x (lambda y y)) 
(lambda x (lambda y y)) 
(lambda x (lambda y y))

(lambda x (lambda y ((x true_0) y)))
(lambda x (lambda y x))
(lambda x (lambda y x))
(lambda x (lambda y x))
(lambda x (lambda y y))