The real reason: it's much work to prove loop invariants that use structural ind...

		mathgladiator on March 9, 2011 \| parent \| context \| favorite \| on: Notes on Haskell: What's Wrong with the For Loop The real reason: it's much work to prove loop invariants that use structural induction.