sessions
Version 2008.7.18 revision 0 uploaded by MatthewSackman.
Package meta
- Synopsis
- Session Types for Haskell
- Description
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.
- Author
- Matthew Sackman
- Bug reports
- n/a
- Category
- Control
- Copyright
- Matthew Sackman
- Homepage
- http://www.wellquite.org/sessions/
- Maintainer
- matthew@wellquite.org
- Package URL
- n/a
- Stability
- Beta