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

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