Changes between Version 16 and Version 17 of HetsForDevelopers

Show
Ignore:
Timestamp:
12.02.2009 15:51:53 (9 months ago)
Author:
maeder (IP: 134.102.204.186)
Comment:

replaced YAHT by Real World Haskell

Legend:

Unmodified
Added
Removed
Modified

  • HetsForDevelopers

    v16 v17  
    33You should start to learn about Hets by looking at the (nightly generated) [http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/daily/Hets/docs overview] or (if missing) a [http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets/docs recent overview of the modules] of Hets. The page [wiki:DebuggingAndTestingHets Debugging and testing Hets] explains how to play around with the internals of Hets. Please follow the sample ghci session there to get familiar with the central datastructures of Hets. 
    44 
    5 Hets is written in [http://www.haskell.org Haskell], and is compiled using [http://www.haskell.org/ghc GHC] using a couple of [http://www.haskell.org/ghc/docs/latest/html/users_guide/ghc-language-features.html language extensions]. Among the Haskell [http://haskell.org/haskellwiki/Books_and_tutorials books and tutorials] we recommend [http://en.wikibooks.org/wiki/Haskell/YAHT Yet Another Haskell Tutorial].  
     5Hets is written in [http://www.haskell.org Haskell], and is compiled using [http://www.haskell.org/ghc GHC] using a couple of [http://www.haskell.org/ghc/docs/latest/html/users_guide/ghc-language-features.html language extensions]. Among the Haskell [http://haskell.org/haskellwiki/Books_and_tutorials books and tutorials] we recommend [http://book.realworldhaskell.org/ Reall World Haskell].  
    66The [http://haskell.org/onlinereport language definition] covers the Haskell98 standard which we are supposed to stick to in most cases. Make sure that you are familiar with at least the most common [http://haskell.org/onlinereport/prelude-index.html library functions of the Prelude]. 
    77For searching or looking up any [http://haskell.org/ghc/docs/latest/html/libraries library functions] you may also try [http://haskell.org/hoogle Hoogle].