Well you can't use this approach to verify haskell code if you don't know coq. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mbid on Dec 10, 2017 \| parent \| context \| favorite \| on: Finding bugs in Haskell code by proving it Well you can't use this approach to verify haskell code if you don't know coq.

chongli on Dec 11, 2017 [–]

But you can write a library in Haskell, verify it with Coq, and publish it on Hackage for everybody to benefit from.

nl on Dec 11, 2017 | [–]

Indeed, and reading Coq errors should be a lot easier than having to work out how to write a Coq program.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact