@hackage full-sessions0.4.189

yet another implementation of session types which does not require annotations

This library defines a Session monad, which provides static checking of safe and consistent use of communication channels according to protocols. It requires almost no type- or term- annotations. Alternatives are: the simple-sessions package (http://hackage.haskell.org/package/simple-sessions) and the sessions package (http://hackage.haskell.org/package/sessions).