chp-spec-1.0.0: A mirror implementation of chp that generates a specification of the program



This module re-exports all of the functionality of the chp-spec library, except the Control.Concurrent.CHPSpec.LazySmallCheck module.

The documentation for this library may seem relatively spartan; only the functions and modules with significant differences/caveats from CHP API are documented. All the details of how each aspect is modelled is available in the original series of blog posts.