| Copyright | (c) Eugen Kuksa, Uni Bremen 2011, DFKI GmbH 2012 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (via Logic.Logic) |
| Safe Haskell | None |
Comorphisms.CommonLogic2CASL
Description
Translating comorphism from Common Logic (with and without sequence markers) to CASL
Documentation
newtype CL2CFOL
Constructors
| CL2CFOL | |
Fields
| |