dialectic (cargo): Transport-polymorphic, asynchronous session types for Rust
Keywords: async|protocol|types|session|channel|asynchronous|protocols|rust