# protocol

Model distributed system as type-level multi-party protocol.

See [docs on hackage](http://hackage.haskell.org/package/protocol/docs/Control-Protocol.html).