• Haskell for all: Manual proofs for the `pipes` laws http://www.haskellforall.com/2013/10/manual-proofs-for-pipes-laws.html 55 comments 7/10/2013 haskell