diff options
| author | Marvin Borner | 2023-04-08 17:14:54 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-04-08 17:14:54 +0200 |
| commit | 67b6713b221a25763d1c08e12e8b715d432db5f8 (patch) | |
| tree | 40843861e9aaacc47beba57479c0b78bcfea8f08 /std/Combinator.bruijn | |
| parent | 5e5069c5228f2cd39de38ace9134f57293cc7e5d (diff) | |
Various improvements to standard library docs
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 9cafbce..667f0bb 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -120,8 +120,6 @@ o [[0 (1 0)]] ⧗ ((a → b) → a) → (a → b) → b # queer bird combinator: reverse function composition: (f , g) x = g (f x) q [[[1 (2 0)]]] ⧗ (a → b) → (b → c) → a → c -…,… q - # quixotic bird combinator q' [[[2 (0 1)]]] ⧗ (b → c) → a → (a → b) → c |