Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, Sonja Groening, Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Haskell.Logic_Haskell

Description

Here is the place where the classes Category, Syntax, StaticAnalysis, Sentences, and Logic are instantiated for Haskell.

Some method implementations for StaticAnalysis and Sentences are still missing.

Documentation

type SYMB_ITEMS = ()

type SYMB_MAP_ITEMS = ()

type Symbol = ()

type RawSymbol = ()