Split atoms into separate module; some tweaks

Wasm-DSL / spectec

Wasm SpecTec specification tools

https://wasm-dsl.github.io/spectec/

Other

27 stars 9 forks source link

Closed rossberg closed 8 months ago

rossberg commented 8 months ago

@jaehyun1ee, FYI, atoms and mixops are now factored into a dedicated module Il.Atom.