lambda-calcul/rust/sample/test_bool.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

(def True (lam (x y) x))
(def False (lam (x y) y))
(def and (lam (a b) (a b False)))
(def or (lam (a b) (a True b)))
(def not (lam a (a False True)))

(and True True)
(and True False)
(and False True)
(and False False)

(or True True)
(or True False)
(or False True)
(or False False)