Haskell.hs revision 92f84e334b5031122ddcfcd4c4d9e846cbdca3a2
{- |
Module : $Header$
Copyright : (c) Christian Maeder and Uni Bremen 2005
Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
Maintainer : maeder@tzi.de
Stability : provisional
Portability : mostly portable
This folder contains the Haskell logic based on programatica
<http://www.cse.ogi.edu/PacSoft/projects/programatica> from Thomas Hallgren
* "Haskell.ATC_Haskell" generated ATC instances
* "Haskell.BaseATC" handwritten ATC instances for "Haskell.ATC_Haskell"
* "Haskell.HatAna" calling the type checker for Haskell
* "Haskell.Haskell2DG" unfinished translation to development graphs
* "Haskell.HatParser" parsing Haskell as basic specs
* "Haskell.Logic_Haskell" the logic instance
* "Haskell.PreludeString" the programatica prelude as string
* "Haskell.TiATC" remaining ATC instances for "Haskell.Logic_Haskell"
* "Haskell.TranslateId" translating CASL ids to Haskell ids
* "Haskell.Wrapper" extracting Haskell code from structured specs
-}
module Haskell where