@hackage / protocol

Model distributed system as type-level multi-party protocol

Latest0.1.0.1

Changelog

0.1.0.0

Initial release
Protocol data type to define protocol and runProtocol to interpret it.