wirespec 0.4.1

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