input « test02 « sample « rust - lambda-nantes - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/rust/sample/test02/input

blob: 81a0443181e63edfc6be93b5f733b2c78550c088 (plain)

(def pair (lam (a b f) (f a b)))

(def fst (lam p (p (lam ( a b) a))))
(def snd (lam p (p (lam ( a b) b))))

(fst (snd (pair 1 (pair 2 0))))