about summary refs log tree commit diff
path: root/tests/examples/pairs-fst.out
blob: c11f7993b61a026997f5c8c5852628965ef99217 (plain)
1
(\pair . \fst . \snd . fst (pair a b)) (\x . \y . \f . f x y) (\p . p (\x . \y . x)) (\p . p (\x . \y . y))