hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Logic_Haskell
Portability non-portable(Logic)
Stability provisional
Maintainer hets@tzi.de
Description

Here is the place where the class Logic is instantiated for Haskell. Also the instances for Syntax an Category.

todo: - writing real functions

Synopsis
data Haskell = Haskell
empty_signature :: StaticAnalysis lid basic_spec sentence proof_tree symb_items symb_map_items sign morphism symbol raw_symbol => lid -> sign
Produced by Haddock version 0.6