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