2023-05-05 19:48:12 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<meta name="viewport" content="width=device-width">
|
|
|
|
|
<title>Bookshelf.Combinator.Aviary</title>
|
|
|
|
|
<script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
|
|
|
|
|
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<h1>Bookshelf.Combinator.Aviary</h1>
|
|
|
|
|
<p>
|
|
|
|
|
A list of birds as defined in <i>To Mock a Mockingbird</i>.
|
2023-05-06 20:16:39 +00:00
|
|
|
Refer to <a href="./Aviary.html">Bookshelf/Combinator/Aviary</a>
|
2023-05-05 19:48:12 +00:00
|
|
|
for implementation examples.
|
|
|
|
|
</p>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><b>Bald Eagle:</b> \(\hat{E}xy_1y_2y_3z_1z_2z_3 = x(y_1y_2y_3)(z_1z_2z_3)\)</li>
|
|
|
|
|
<li><b>Becard:</b> \(B_3xyzw = x(y(zw))\)</li>
|
|
|
|
|
<li><b>Blackbird:</b> \(B_1xyzw = x(yzw)\)</li>
|
|
|
|
|
<li><b>Bluebird:</b> \(Bxyz = x(yz)\)</li>
|
|
|
|
|
<li><b>Bunting:</b> \(B_2xyzwv = x(yzwv)\)</li>
|
|
|
|
|
<li><b>Cardinal Once Removed:</b> \(C^*xyzw = xywz\)</li>
|
|
|
|
|
<li><b>Cardinal:</b> \(Cxyz = xzy\)</li>
|
|
|
|
|
<li><b>Converse Warbler:</b> \(W'xy = yxx\)</li>
|
|
|
|
|
<li><b>Dickcissel:</b> \(D_1xyzwv = xyz(wv)\)</li>
|
|
|
|
|
<li><b>Double Mockingbird:</b> \(M_2xy = xy(xy)\)</li>
|
|
|
|
|
<li><b>Dove:</b> \(Dxyzw = xy(zw)\)</li>
|
|
|
|
|
<li><b>Dovekie:</b> \(D_2xyzwv = x(yz)(wv)\)</li>
|
|
|
|
|
<li><b>Eagle:</b> \(Exyzwv = xy(zwv)\)</li>
|
|
|
|
|
<li><b>Finch Once Removed:</b> \(F^*xyzw = xwzy\)</li>
|
|
|
|
|
<li><b>Finch:</b> \(Fxyz = zyx\)</li>
|
|
|
|
|
<li><b>Goldfinch:</b> \(Gxyzw = xw(yz)\)</li>
|
|
|
|
|
<li><b>Hummingbird:</b> \(Hxyz = xyzy\)</li>
|
|
|
|
|
<li><b>Identity Bird:</b> \(Ix = x\)</li>
|
|
|
|
|
<li><b>Kestrel:</b> \(Kxy = x\)</li>
|
|
|
|
|
<li><b>Lark:</b> \(Lxy = x(yy)\)</li>
|
|
|
|
|
<li><b>Mockingbird:</b> \(Mx = xx\)</li>
|
|
|
|
|
<li><b>Owl:</b> \(Oxy = y(xy)\)</li>
|
|
|
|
|
<li><b>Phoenix:</b> \(\Phi xyzw = x(yw)(zw)\)</li>
|
|
|
|
|
<li><b>Psi Bird:</b> \(\Psi xyzw = x(yz)(yw)\)</li>
|
|
|
|
|
<li><b>Quacky Bird:</b> \(Q_4xyz = z(yx)\)</li>
|
|
|
|
|
<li><b>Queer Bird:</b> \(Qxyz = y(xz)\)</li>
|
|
|
|
|
<li><b>Quirky Bird:</b> \(Q_3xyz = z(xy)\)</li>
|
|
|
|
|
<li><b>Quixotic Bird:</b> \(Q_1xyz = x(zy)\)</li>
|
|
|
|
|
<li><b>Quizzical Bird:</b> \(Q_2xyz = y(zx)\)</li>
|
|
|
|
|
<li><b>Robin Once Removed:</b> \(R^*xyzw = xzwy\)</li>
|
|
|
|
|
<li><b>Robin:</b> \(Rxyz = yzx\)</li>
|
|
|
|
|
<li><b>Sage Bird:</b> \(\Theta x = x(\Theta x)\)</li>
|
|
|
|
|
<li><b>Starling:</b> \(Sxyz = xz(yz)\)</li>
|
|
|
|
|
<li><b>Thrush:</b> \(Txy = yx\)</li>
|
|
|
|
|
<li><b>Turing Bird:</b> \(Uxy = y(xxy)\)</li>
|
|
|
|
|
<li><b>Vireo Once Removed:</b> \(V^*xyzw = xwyz\)</li>
|
|
|
|
|
<li><b>Vireo:</b> \(Vxyz = zxy\)</li>
|
|
|
|
|
<li><b>Warbler:</b> \(Wxy = xyy\)</li>
|
|
|
|
|
</ul>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
