SKI Calculus: Combinatory Logic
S, K, I eliminate all variables — Schönfinkel 1924, Curry 1930s
SKI Rules
Variable Elimination
Booleans & Pairs
Fixed Points
Step
Normalize
Preset