diff options
| author | Marvin Borner | 2023-02-23 14:25:27 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-23 14:25:27 +0100 |
| commit | e8456ff880c5aa72171183e0b0043ca731a086fa (patch) | |
| tree | 114924bedf3f3e10a50467ac724cf55c817ca6d4 /std/Combinator.bruijn | |
| parent | c11a39217ac9e0a166442a634692114343a484ee (diff) | |
Additions to standard library
Mainly new binary encoding and corresponding functions
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 4529853..9cafbce 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -115,6 +115,8 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b # psi combinator: on ψ [[[[3 (2 1) (2 0)]]]] ⧗ (b → b → c) → (a → b) → a → a → c +ψ* [[[[[4 3 (2 1) (2 0)]]]]] ⧗ (c → b → b → d) → c → (a → b) → a → a → d + # queer bird combinator: reverse function composition: (f , g) x = g (f x) q [[[1 (2 0)]]] ⧗ (a → b) → (b → c) → a → c |