Functions§
- bluebird
- B combinator: Bxyz = x(yz)
- cardinal
- C combinator: Cxyz = xzy
- dove
- D combinator: Dxyzw = xy(zw)
- eagle
- E combinator: Exyzwv = xy(zwv)
- finch
- F combinator: Fxyz = zyx
- goldfinch
- G combinator: Gxyzw = xw(yz)
- hummingbird
- H combinator: Hxyz = xyzy
- identity_
bird - I combinator: Ix = x
- jay
- J combinator: Jxyzw = xy(xwz)
- kestrel
- K combinator: Kxy = x
- lark
- L combinator: Lxy = Lx(yy)
- mockingbird
- M combinator: Mx = xx
- owl
- O combinator: Oxy = y(xy)
- queer
- Q combinator: Qxyz = y(xz)
- quirky
- Q3 combinator: Q3xyz = z(xy)
- quixotic
- Q1 combinator: Q1xyz = x(zy)
- robin
- R combinator: Rxyz = yzx
- sage
- ϴ combinator: ϴx = x(ϴx)
- starling
- S combinator: Sxyz = xz(yz)
- thrush
- T combinator: Txy = yx
- turing
- U combinator: Uxy = y(xxy)