| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.CASL2Hybrid
Description
The embedding comorphism from CASL to HybridCASL.
- data CASL2Hybrid = CASL2Hybrid
Hets - the Heterogeneous Tool Set
| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.CASL2Hybrid
Description
The embedding comorphism from CASL to HybridCASL.