Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

LF.Framework

Description

 

Documentation

baseB :: BASE

baseM :: MODULE

o :: Symbol

ded :: Symbol

baseSig :: Sign

sen_type_symbol :: Symbol

writeLogic :: String -> String

writeSyntax :: String -> Morphism -> String

writeProof :: String -> Morphism -> String

writeModel :: String -> Morphism -> String

writeComorphism :: String -> String -> String -> Morphism -> Morphism -> Morphism -> String