The Curry-Howard Isomorphism for Induction

Published: Dec. 31, 2019, 11 p.m.

In which I discover why the domino analogy for explaining induction always bothered me!