mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation 
1
2
3

pub mod checking_choice;
pub mod checking_recursion;
pub mod checking_simple;