SpecTec has been adopted (via brendan) — discussion

#plt #wasm