## Ornithologics is the study of Avian Computing.

WORK IN PROGRESS

const I = a => a; const K = a => b => a; const S = x => (y => (z => x(z)(y(z)))); const KI = a => b => b; const C = f => a => b => f(b)(a); const M = a => a(a); const B = f => g => a => f(g(a)); const TH = a => b => b(a); const V = a => b => f => f(a)(b); const BL = f => g => a => b => f(g(a)(b)); const Y = x => (x(Y(x)));

### Stack-machines for Birdwatchers

Operation | Bird | Construction | Result |
---|---|---|---|

Pop | Kite | K(WK) | yz |

Nip | Kestrel | K | xz |

Swap | Thrush | C(WK) | yxz |

Rot | Vireo | BCT | zxy |

Dup | Mockingbird | W(WK) | xxyz |

Over | Warbling Cardinal? | WC | xyxz |

- A universal formal system
- Assembly Implementation
- A Combinatory Compiler
- Combinators and Church Encoding
- SKI Stack Machine
- Javascript REPL
- The Theory of Concatenative Combinators