From 518def7bf3ab25f7175a55e403d6314240204aa4 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 21:05:35 -0500 Subject: Generate HTML --- docs/doc/birds.html | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) (limited to 'docs/doc') diff --git a/docs/doc/birds.html b/docs/doc/birds.html index f39a29c7..a5df5213 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -42,8 +42,8 @@ ○ Bluebird B -Psi? -D₂-like: labcd.a(bc)(bd) +Psi +ψ ˙ @@ -55,16 +55,16 @@ ⊸ -R*S -Queer -Q +BSC +~Dove +D-like: labcd.a(bc)d ⟜ Starling S -~Dove -D-like: labcd.ac(bd) +Dove +D ˜ @@ -92,3 +92,8 @@

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.

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:

+ -- cgit v1.2.3