For those who've not seen equational reasoning used to write programs (or do simple proofs on them), here's an example from SO this week: * http://stackoverflo

For those who've not seen equational reasoning used to write programs (or do simple proofs on them), here's an example from SO this week: * http://stackoverflow.com/questions/5710078/in-haskell-performing-and-and-or-for-boolean-functions http://stackoverflow.com/questions/5710078/in-haskell-perfor... Algebra of Programming FTW! See Richard Bird (or others at Oxford) for more on this style. E.g. http://lambda-the-ultimate.org/node/1117 http://lambda-the-ultimate.org/node/1117