diff options
| author | Marvin Borner | 2024-09-06 14:47:17 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-09-06 14:47:17 +0200 |
| commit | f31d7645399702e52337e63a1a7acc3776e33a77 (patch) | |
| tree | 1ebbac0313291770d133eaba426929657187557e /std/Combinator.bruijn | |
| parent | c95688c2fa63ba91df518ddf0d97261d6bd02426 (diff) | |
Sample/std fixes
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 6 |
1 files changed, 6 insertions, 0 deletions
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 |