From c5f1bbbf5aa9544465fc14f19c5009181ef9fc1c Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 16 Aug 2022 23:18:14 +0200
Subject: Std improvements

very descriptive as always :D
I honestly don't know though
---
 std/Combinator.bruijn | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 6144519..a1ffd1a 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -15,11 +15,13 @@ B [[[2 (1 0)]]]
 # Blackbird combinator
 B' [[[[3 (2 1 0)]]]]
 
-(...) B'
+(..) B'
 
 # Bunting combinator
 B'' [[[[[4 (3 2 1 0)]]]]]
 
+(...) B''
+
 # Becard combinator
 B''' [[[[3 (2 (1 0))]]]]
 
@@ -179,12 +181,6 @@ Z [[1 [1 1 0]] [1 [1 1 0]]]
 # iota combinator
 i [0 S K]
 
-# True
-true K
-
-# False
-false KI
-
 # -- combinator equivalency tests --
 
 :test (A) (S (S K))
-- 
cgit v1.2.3