3 ms·Well you can't use this approach to verify haskell code if you don't know coq.by mbid 9y agoWell you can't use this approach to verify haskell code if you don't know coq.chongli 9y agoBut you can write a library in Haskell, verify it with Coq, and publish it on Hackage for everybody to benefit from.nl 9y agoIndeed, and reading Coq errors should be a lot easier than having to work out how to write a Coq program.