You may want to take a look at the formal spec here as well: https://webassembly.github.io/spec/ https://webassembly.github.io/spec/ There's still some work to

You may want to take a look at the formal spec here as well: https://webassembly.github.io/spec/ https://webassembly.github.io/spec/ There's still some work to be done, but it is quite far along already.