@hackage / sessions

Session Types for Haskell

Latest2008.7.18

About

Metadata

  • Last updated , by MatthewSackman
  • License LicenseRef-GPL

  • Maintained by: matthew@wellquite.org

  • Lottery factor: 0

Links

Installation

Readme

Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol. Ignore the build failure for hackage - it's just haddock being rubbish.