From 6cb14ee73f6bf21d94bfbfebc97c7759ed2107b5 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Thu, 25 Nov 2021 22:48:15 +0200
Subject: Add builtins

---
 samples/list.tunk | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 samples/list.tunk

(limited to 'samples')

diff --git a/samples/list.tunk b/samples/list.tunk
new file mode 100644
index 0000000..be941ba
--- /dev/null
+++ b/samples/list.tunk
@@ -0,0 +1,18 @@
+# Define 2-tuples
+pair a b fn = fn a b;
+first p = p true;
+second p = p false;
+
+# Define Church encoded lists in one-pair-as-a-list-node style
+cons = pair;
+head = first;
+tail = second;
+nil = false;
+_a x y z = false;
+isnil l = l _a true;
+
+# Test them out
+list1 = cons "1" nil;
+list2 = cons "2" list1;
+list3 = cons "3" list2;
+
-- 
cgit v1.3