Copyright	(c) Kristina Sojakova, DFKI Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable
Safe Haskell	None

LF.Logic_LF

Description

Documentation

data LF

Constructors

Show LF
Language LF
Sentences LF Sentence Sign Morphism Symbol
Syntax LF BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis LF BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM
LogicalFramework LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()
Logic LF () BASIC_SPEC Sentence SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol RAW_SYM ()