Haskell for all: Manual proofs for the `pipes` laws - discu.eu

Reddit

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

Linking pages

GitHub - jwiegley/coq-pipes https://github.com/jwiegley/coq-pipes 19 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:www.haskellforall.com

Search title: Haskell for all: Manual proofs for the `pipes` laws

See how to search.

Submit link to: