seems to be gaining some traction as a GHC plugin
but hs-to-coq is easier to use. https://nikivazou.github.io/static/Haskell17/a-tale.pdf
It might be a way of slowly luring haskell programmers to Coq...
I think they also have an integration problem, ideally they would merge hs-to-coq with https://github.com/jwiegley/coq-haskell
They agree :-)
Last updated: Jan 27 2023 at 00:03 UTC