News for hackers. Stuff that matters.

A comment on Finding bugs in Haskell code by proving it. Parent comment

Re:Finding bugs in Haskell code by proving it by chongli on Sunday December 10, 2017 @08:05PM (#15894481)
But you can write a library in Haskell, verify it with Coq, and publish it on Hackage for everybody to benefit from.
[ Parent | on HN ]
Re:Finding bugs in Haskell code by proving it by nl on Sunday December 10, 2017 @08:23PM (#15894556)
Indeed, and reading Coq errors should be a lot easier than having to work out how to write a Coq program.
[ Parent | on HN ]