search

Wasm-DSL / spectec

Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
27 stars 9 forks source link

Fix typing rules for labels #35

Closed rossberg closed 1 year ago

rossberg commented 1 year ago

Fix #34.