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 --- docs/doc/birds.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'docs/doc') diff --git a/docs/doc/birds.html b/docs/doc/birds.html index 0a7168f2..80117496 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -84,12 +84,12 @@ F G H Phoenix -S' -Golden Eagle -Ê-like: labcde.a(bde)(cde) +Φ +Pheasant +Φ₁

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 𝕨𝕩.

-

The name "Golden Eagle" is a fever dream of bird enthusiast Conor Hoekstra, who saw it emerge disordered from the Bald Eagle when arguments fg are set equal to cd.

+

Bird enthusiast Conor Hoekstra now claims what he originally mistook for a "Golden Eagle" is in fact a Pheasant. Announced in that paper mentioned at the top, the new identification is based on Haskell Curry's use of Φ₁ for the combinator in a 1931 paper.

-- cgit v1.2.3