TC39 Editors
2024-04-09
plaintext logs
prev
next
JavaScript is required to load the channel index, but you can go to
the static index
directly.
error
16:24
<
Michael Ficarra
>
https://github.com/Wasm-DSL/spectec/tree/main/spectec
16:43
<
Michael Ficarra
>
https://people.mpi-sws.org/~rossberg/papers/spectec1.pdf
16:43
<
Michael Ficarra
>
a LOT of familiar names there