wirespec 0.3.1

Type-safe protocol description language — compiler, verifier, and LSP