From 745147f88f400cced478dd588a2dfd7a7c2140a8 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 18 Jul 2022 01:44:38 +0200
Subject: Moved/improved standard library

and other things
---
 std/Combinator.bruijn | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 std/Combinator.bruijn

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
new file mode 100644
index 0000000..95338a6
--- /dev/null
+++ b/std/Combinator.bruijn
@@ -0,0 +1,22 @@
+# MIT License, Copyright (c) 2022 Marvin Borner
+
+S [[[2 0 (1 0)]]]
+K [[1]]
+I [0]
+B [[[2 (1 0)]]]
+C [[[2 0 1]]]
+W [[1 0 0]]
+T [[1]]
+F [[0]]
+ω [0 0]
+Ω ω ω
+Y [[1 (0 0)] [1 (0 0)]]
+Θ [[0 (1 1 0)]] [[0 (1 1 0)]]
+i [0 S K]
+
+:test I = i i
+:test K = i (i (i i))
+:test S = i (i (i (i i)))
+:test B = S (K S) K
+:test C = S (S (K (S (K S) K)) S) (K K)
+:test W = S S (S K)
-- 
cgit v1.2.3