@hackage chp-spec1.0.0
A mirror implementation of chp that generates a specification of the program
Categories
License
BSD-3-Clause
Maintainer
neil@twistedsquare.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.0.0 Mon, 3 May 2010
Installation
Dependencies (6)
- base >=4 && <5
- containers
- deepseq >=1.1 && <1.2
- mtl
- TypeCompose >=0.7 && <0.8
- pretty Show all…
Dependents (1)
@hackage/acme-everything
This library mirrors the API of much of the CHP library, but instead of executing the program properly, using this library will generate the CSP specification of your program. See this article for details and caveats: http://chplib.wordpress.com/2010/05/03/new-chp-spec-library-released/