tests/examples/bools-and-t-f.lam


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

(\ true false and or not .

    and true false

    -- Should reduce to false, i.e., \ x y . y
)
-- true
(\ x y . x)
-- false
(\ x y . y)
-- and
(\ p q . p q p)
-- or
(\ p q . p p q)
-- not
(\ p x y . p y x)