diff options
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 7199c77..470c574 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -118,9 +118,11 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b # alternative name: starling prime: s' φ [[[[3 (2 0) (1 0)]]]] ⧗ (b → c → d) → (a → b) → (a → c) → a → d -# psi combinator: on +# psi combinator: on, (f ⋔ g) x y = f (g x) (g y) ψ [[[[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 |