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

LF.Framework

Description

 

Documentation

writeLogic :: String -> String Source #

writeSyntax :: String -> Morphism -> String Source #

writeProof :: String -> Morphism -> String Source #

writeModel :: String -> Morphism -> String Source #

writeComorphism :: String -> String -> String -> Morphism -> Morphism -> Morphism -> String Source #