Session types framework with support of protocol pipelining.
Primary LanguageHaskell
No issues in this repository yet.