Description
A framework for strongly typed protocols.
README.md
typed-protocols
A robust session type framework which supports protocol pipelining.
Haddocks are published here.
Public content
Duncan Coutts Haskell eXchange 2019 talk.
Monadic party workshop by Marcin Szamotulski (coot):
Talk at Haskell Love 2021 by Marcin Szamotulski (coot), slides.