Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swan.ac.uk
Stabilityexperimental
Portabilityportable
Safe HaskellNone

CspCASL.Parse_CspCASL

Contents

Description

Parser for CSP-CASL specifications.

Documentation

Orphan instances