1 files changed, 17 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 95338a6..bedc1e9 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -1,22 +1,39 @@
 # 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)