diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/birds.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/birds.md b/doc/birds.md index 26c122c6..fe7fc5cb 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -25,4 +25,4 @@ Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each 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 `π¨π©`. -Note that the name "Pheasant" comes from [Hoekstra 2022](https://github.com/codereport/Content/blob/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf). It was previously nicknamed ["Golden Eagle"](https://nitter.net/code_report/status/1440208242529882112#m) before Conor discovered Haskell Curry had introduced this combinator in his 1931 paper [The universal quantifier in combinatory logic](https://www.jstor.org/stable/1968422). +Bird enthusiast Conor Hoekstra now claims what he originally mistook for a "[Golden Eagle](https://nitter.net/code_report/status/1440208242529882112)" is in fact a Pheasant. Announced in that [paper](https://github.com/codereport/Content/blob/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf) mentioned at the top, the new identification is based on Haskell Curry's use of `Ξ¦β` for the combinator in a [1931 paper](https://www.jstor.org/stable/1968422). |