hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
Documentation 
1
2
3
4

//! Lease subsystem hub for rendezvous sessions.

/// Lease core types.
pub(crate) mod core;