From 33fa7dffcab14814b301018f11cbf01fd96f0d01 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 2 Aug 2022 22:49:58 -0400 Subject: Rework prose and rebuild birds.md --- doc/birds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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). -- cgit v1.2.3