Wolfgang Meier

hey @aakashcurefit, It's been a while, since you opened this issue... Did you solve your problem?

ok. Anyway, thanks for taking the time to reply.

I am working on this. Where can I find the hs-to-coq channel? (I am working with Peter Trommler.)

Ok, good to know. Thank you @lastland for the suggestion :)

> Great work -- many thanks for the PR! I'll look into them, although I'm not completely sure if I should first merge a version into 1.0 or combine this...

I'm currently updating to Wasm 2.0 (not using new features). Then, the plan is to formalize the features we need, we probably won't add support for the things we don't...

> > > I've read the community manifesto and reckon that I'll have to care a lot about backward compatibility after submitting anything there, so I thought it makes sense...

> @womeier do you still need 8.16 ? No, I'm on 8.17 now and don't need 8.16 anymore. Thanks for keeping it around some more time @raoxiaojia.

Thanks for the detailed description of the upcoming changes! This is very helpful for us.

I'm currently working on the proof that the Wasm module we generate instantiates. Since you made some changes to the instantiation_spec, I'd like to update to a version of your...