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

This package provides type to model distributed multi-party protocols, ensuring the continuity of the associated resource state transitions on the type level for all protocol commands and scenarios.

protocol

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

See docs on hackage.