[explainer branch] Update Explainer.md

WebAssembly / stack-switching

A repository for the stack switching proposal.

Other

146 stars 13 forks source link

[explainer branch] Update Explainer.md #63

Closed conrad-watt closed 4 months ago

conrad-watt commented 4 months ago

A basic list of instructions and typing rules. Feel free to edit/remix.

dhil commented 4 months ago

Thanks @rossberg. I have fixed them all.

tlively commented 4 months ago

@dhil, I don't see the fixes committed or in a PR yet.

dhil commented 4 months ago

I implemented them earlier in the file. I fixed other mistakes too. See the repo file for the current state. I will open a PR or circulate the thing as soon as I have something coherent (this coming Friday).

tlively commented 4 months ago

Oh, I see, it's not the main branch. Thanks!