Introduction
Lately I’ve been fascinated with simple models of computation.
It’s astounding to me that systems like the lambda calculus and SKI combinators, defined in just a few lines, can express any computable function.
But there’s one thing in pa...
