about summary refs log tree commit diff
path: root/tests/examples/pairs-snd.out
blob: ebfb43b69f7e823d4990ceb79b01d8a2187e7290 (plain) 
1

(\pair . \fst . \snd . snd (pair a b)) (\x . \y . \f . f x y) (\p . p (\x . \y . x)) (\p . p (\x . \y . y))
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-14 04:37:08 +0000