diff options
| -rw-r--r-- | doc/birds.md | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/birds.md b/doc/birds.md index fc538c15..e1bcb881 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -9,10 +9,10 @@ Some people consider it reasonable to name [combinators](primitive.md#modifiers) | `⊣` | Identity | `I` | Kestrel | `K` | `⊢` | Identity | `I` | | `KI` | `∘` | Bluebird | `B` | Blackbird | `B₁` -| `○` | Bluebird | `B` | Psi? | `D₂`-like: `labcd.a(bc)(bd)` +| `○` | Bluebird | `B` | Psi | `ψ` | `˙` | Kestrel | `K` | | `KK` -| `⊸` | | `R*S` | Queer | `Q` -| `⟜` | Starling | `S` | ~Dove | `D`-like: `labcd.ac(bd)` +| `⊸` | | `BSC` | ~Dove | `D`-like: `labcd.a(bc)d` +| `⟜` | Starling | `S` | Dove | `D` | `˜` | Warbler | `W` | Cardinal | `C` | `k G H` | Dove | `D` | Eagle | `E` | `F G H` | Phoenix | `S'` | Golden Eagle | `Ê`-like: `labcde.a(bde)(cde)` @@ -22,3 +22,8 @@ The name "Golden Eagle" is a [fever dream](https://nitter.net/code_report/status Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each BQN combinator corresponds to two lambda calculus forms depending on the number of arguments, giving the two columns of birds above. Inputs are mapped to lambda calculus arguments according to the ordering `𝔽𝔾𝕨𝕩`, and `GFH` for a 3-train `F G H`. For example, when I write that the combination `𝕨 𝔽˜ 𝕩` corresponds to a call of `C` or `labc.acb`, `a` is `𝔽` and `bc` are `𝕨𝕩`. + +**List of combinator bird compendiums:** +1. [Angelfire Combinator Birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) +2. [Fantasy Land Birds](https://github.com/fantasyland/fantasy-birds) +3. [Lähteenmäki Combinator Birds](https://blog.lahteenmaki.net/combinator-birds.html) |