Hacker News
- A formalization in Coq of the Haskell pipes library https://github.com/jwiegley/coq-pipes 6 comments
- Coq formalization of Haskell's `pipes` library https://github.com/jwiegley/coq-pipes 3 comments coq
- Proof of the Pipes Laws in Coq https://github.com/jwiegley/coq-pipes 10 comments haskell
Linked pages
- Haskell for all: Manual proofs for the `pipes` laws http://www.haskellforall.com/2013/10/manual-proofs-for-pipes-laws.html 55 comments
- https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf 10 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments
- pipes: Compositional pipelines http://hackage.haskell.org/package/pipes 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - jwiegley/coq-pipes
See how to search.