Hets - the Heterogeneous Tool Set

Copyrightnevrenato@gmail.com
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Hybrid2CASL

Description

Comorphism HybridCASL to CASL.

Documentation