From 175c96b8ffb71f0fd6ae7e5245cbd20d642f2c05 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra <36027403+codereport@users.noreply.github.com> Date: Sat, 8 Jan 2022 17:03:24 -0500 Subject: Corrections to BQN Combinator Birds --- doc/birds.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'doc') 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) -- cgit v1.2.3