[burke]

Even when it works (I’ve never seen this failure), this site is offensively unusable. Anchors don’t go to useful places; search doesn’t work in the MathJax regions… the writing also does a fairly poor job of communicating details in many cases.

It’s really a truly terrible spec site.

[kevingadd]

The WASM spec ended up being a poor compromise between 'executable spec' (i.e. writing the spec entirely in ocaml or in a theorem prover language) and 'human readable spec' (i.e. the JavaScript or C# specs).