jwiegley/coq-pipes

73 best points · 6 comments · 1 Hacker News post · 100 GitHub stars · View on GitHub

Hacker News discussions

• A formalization in Coq of the Haskell pipes library (73 points, 6 comments, by lelf, 2015-07-09)