From f31d7645399702e52337e63a1a7acc3776e33a77 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 6 Sep 2024 14:47:17 +0200
Subject: Sample/std fixes

---
 std/Combinator.bruijn | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 452ebfb..d414b76 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -23,6 +23,12 @@ b'' [[[[[4 (3 2 1 0)]]]]] ⧗ (d → e) → (a → b → c → d) → a → b 
 
 ∘∘∘‣ b''
 
+# 4x function composition
+# more can be generated using Church application: (+xu) b or even (+xu) b'/b''
+…∘∘∘∘… (+4u) b
+
+∘∘∘∘‣ …∘∘∘∘…
+
 # becard combinator
 b''' [[[[3 (2 (1 0))]]]] ⧗ (c → d) → (b → c) → (a → b) → a → d
 
-- 
cgit v1.2.3