CSPM-CoreLanguage-0.3.1.0: Definition of a CSP core-language.

Copyright(c) Fontaine 2010
LicenseBSD
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellSafe
LanguageHaskell2010

CSPM.CoreLanguage

Description

Just re-exports.

Synopsis

Documentation

coreLanguageVersion :: Version Source #

The version of the CSPM-CoreLangugage library