@hackage protocol0.1.0.1

Model distributed system as type-level multi-party protocol

protocol

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

See docs on hackage.