@hackage protocol0.1.0.1

Model distributed system as type-level multi-party protocol

Categories
- Distributed Systems & Computation
License
BSD-3-Clause
Maintainer
evgeny@poberezkin.com
Links
Versions
- 0.1.0.1 Sun, 12 Jul 2020
- 0.1.0.0 Sun, 12 Jul 2020

protocol

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

See docs on hackage.

Installation
In your cabal file:
Dependencies (3)
- base >=4.7 && <5
- freer-indexed >=0.1 && <0.2
- singletons >=2.5 && <2.8
Dependents (0)