search

Wasm-DSL / spectec

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

Hook up up spec build with SpecTec #66

Closed rossberg closed 9 months ago

rossberg commented 9 months ago

Set up the infrastructure to build the spec using SpecTec. To test it's operational, use a first bunch of tiny splices in syntax/conventions.

We can now start converting the spec for real!