typed-protocols: updated cabal and README files

Author: coot

README.md

@@ -8,6 +8,8 @@ typed-protocols
 
 A robust session type framework which supports [protocol pipelining][protocol-pipelining].
 
+Haddocks are published [here][haddocks].
+
 
 Public content
 --------------
@@ -34,3 +36,4 @@ An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski ([coot]).
 [typed-protocols-agda]: https://coot.me/agda/posts.agda.typed-protocols.html
 [coot]: https://github.com/coot
 [dcoutts]: https://github.com/dcoutts
+[haddocks]: https://input-output-hk.github.io/typed-protocols

typed-protocols/README.md

@@ -0,0 +1 @@
+../README.md

typed-protocols/typed-protocols.cabal

@@ -2,7 +2,7 @@ cabal-version:       3.4
 name:                typed-protocols
 version:             1.0.0.0
 synopsis:            A framework for strongly typed protocols
--- description:
+description:         A robust session type framework which supports protocol pipelining.
 license:             Apache-2.0
 license-files:
   LICENSE
@@ -14,6 +14,7 @@ category:            Control
 build-type:          Simple
 tested-with:         GHC == {9.6, 9.8, 9.10, 9.12}
 extra-doc-files:     CHANGELOG.md
+                     README.md
 
 library
   exposed-modules:   Network.TypedProtocol
@@ -36,7 +37,7 @@ library
                    , BangPatterns
   build-depends:     base >=4.12 && <4.22,
                      io-classes:io-classes ^>= 1.7,
-                     singletons >= 3.0
+                     singletons ^>= 3.0
 
   hs-source-dirs:    src
   default-language:  Haskell2010