mpstthree 0.0.2

A library implementing Multiparty Session Types for 3 participants
Documentation 
1
2
3
4
5
6
7
8
9

// Write code here.
//
// To see what the code looks like after macro expansion:
//     $ cargo expand
//
// To run the code:
//     $ cargo run

fn main() {}