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 5166f50 commit f3e080cCopy full SHA for f3e080c
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