CSPM-Interpreter-0.7.1.0: README.md

# CSPM-Interpreter

This package contains an interpreter for CSPM
and instance declarations that implement the interface defined in
the package CSPM-CoreLanguage.
The operational semantics of core-CSP is defined in the CSPM-FiringRules package.

## [Haddock documentation](http://hackage.haskell.org/package/CSPM-Interpreter)