From 495127cde69e0008b8a1c428d5ddf0d805eb25bb Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 12 Jul 2022 22:36:35 +0200
Subject: Sync

---
 test.bruijn | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'test.bruijn')

diff --git a/test.bruijn b/test.bruijn
index 1a12d1c..a846bd4 100644
--- a/test.bruijn
+++ b/test.bruijn
@@ -12,6 +12,20 @@ atom4 [[[[[0]]]]]
 :test [[0 1 0]] atom0 atom1 = atom1 atom0 atom1
 :test [[[[3 2 1 0]]]] atom0 atom1 atom2 atom3 = atom0 atom1 atom2 atom3
 
+# ===========
+# Combinators
+# ===========
+
+S [[[2 0 (1 0)]]]
+K [[1]]
+I [0]
+
+i [0 S K]
+
+:test I = i i
+:test K = i (i (i i))
+:test S = i (i (i (i i)))
+
 # ===============
 # Church numerals
 # ===============
-- 
cgit v1.2.3