Induction, recursion, and programming | lit.salon