P(0) ∧ (P(n) ⇒ P(n+1)) ⇒ ∀n P(n)

Building systems that scale with Haskell and Nix.