#reserved #session #type #multi-party

mpst

1 unstable release

0.0.1 Nov 6, 2019

#9 in #multi-party

MIT/Apache

6KB


Reserved for Multi-Party Session Types

No runtime deps