diff options
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 71ad078..81db105 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -126,6 +126,8 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b # queer bird combinator: reverse function composition q [[[1 (2 0)]]] ⧗ (a → b) → (b → c) → a → c +…→… q + # quixotic bird combinator q' [[[2 (0 1)]]] ⧗ (b → c) → a → (a → b) → c |