We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f7f3ebb commit bdca754Copy full SHA for bdca754
typed-protocols/typed-protocols.cabal
@@ -3,6 +3,7 @@ name: typed-protocols
3
version: 1.0.0.0
4
synopsis: A framework for strongly typed protocols
5
description: A robust session type framework which supports protocol pipelining.
6
+ Haddocks are published [here](https://input-output-hk.github.io/typed-protocols/)
7
license: Apache-2.0
8
license-files:
9
LICENSE
0 commit comments