From 7336b25d74ad0d8b3b15444582afc082ee30562a Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 30 Sep 2024 15:07:30 +0200 Subject: Add some documentation and a sample for pairs --- rust/sample/test02/input | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 rust/sample/test02/input (limited to 'rust/sample/test02/input') diff --git a/rust/sample/test02/input b/rust/sample/test02/input new file mode 100644 index 0000000..81a0443 --- /dev/null +++ b/rust/sample/test02/input @@ -0,0 +1,6 @@ +(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)))) -- cgit v1.2.3