Stream: hs-to-coq devs & users

Topic: Extraction back to coq


view this post on Zulip Julin S (Sep 03 2022 at 05:12):

Hi. I was going though the Ready, Set, Verify! paper.

In it, with regard to converting coq code back to haskell including the type class constraints, it's mentioned that

By providing an interface that restores the type- class based types, we can run the original containers test suite against this code

Is this interface openly available? To see how this was done?

view this post on Zulip Li-yao (Sep 03 2022 at 09:01):

It's probably here in the repository https://github.com/plclub/hs-to-coq/tree/master/examples/containers


Last updated: Feb 06 2023 at 06:29 UTC