From 7336b25d74ad0d8b3b15444582afc082ee30562a Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Mon, 30 Sep 2024 15:07:30 +0200
Subject: Add some documentation and a sample for pairs

---
 rust/sample/test02/input  | 6 ++++++
 rust/sample/test02/output | 4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 rust/sample/test02/input
 create mode 100644 rust/sample/test02/output

(limited to 'rust/sample/test02')

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))))
diff --git a/rust/sample/test02/output b/rust/sample/test02/output
new file mode 100644
index 0000000..c61e10e
--- /dev/null
+++ b/rust/sample/test02/output
@@ -0,0 +1,4 @@
+true
+true
+true
+2
-- 
cgit v1.2.3