Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Dietrich, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdominik.dietrich@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

CSL.Logic_CSL

Description

Instance of class Logic for the CSL logic Also the instances for Syntax and Category.

Synopsis

Documentation

data CSL

Lid for reduce logic

Constructors

CSL