tests/examples/pairs-snd.lam


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

(\ pair fst snd .

    snd (pair a b)

    -- Should reduce to b
)

-- pair
(\ x y f . f x y)

-- fst
(\ p . p (\ x y . x))

-- snd
(\ p . p (\ x y . y))