Re: Guidelines for respectful communication

I think this is brilliant. Will have a good read of them, and do my best to adopt them for my own projects and any interactions I have within the community. Thank you Simon! PS: we love you too! :D On Thu, 6 Dec 2018 at 10:35, Simon Peyton Jones via Glasgow-haskell-users < glasgow-haskell-users@

Does anyone have much experience generating Haskell from Coq?

So far I've been reading https://www.cs.purdue.edu/homes/bendy/Fiat/FiatByteString.pdf. I'm interested in the ideas presented in https://github.com/DistributedComponents/verdi-runtime, which is OCaml based. My goal is to provide building blocks for verifying and testing Cloud Haskell programs. I'v