var fDesc=new Array(); fDesc[0] = "The Haskell Platform is a comprehensive, robust development environment for programming in Haskell.

The Platform also comes with the most useful developer tools out of the box, including:

- Cabal: Cabal and cabal-install are tools for building and distributing Haskell libraries and programs. With cabal-install you have immediate access to thousands of Haskell libraries and tools on Hackage -- you'll be sure to find something interesting.

- Haddock: Haddock is a high quality documentation tool for Haskell. Comments and types in your code are used to generate indexed and cross-referenced online documentation.

- The GHCi debugger: The Platform ships with the GHCi debugger - an interactive, imperative-style debugger for Haskell. Type ":help" in GHCi for more information.

- The Happy parser generator: Happy is a yacc-like parser generator for Haskell for constructing efficient parsers.

- The Alex lexer generator: Alex is a lex-like lexer generator for Haskell.

- The hsc2hs foreign language binding tool: Often you need to call C libraries from Haskell. hsc2hs is a preprocessor for binding Haskell to C that automates much of the work.

- The GHC Profiler: The Platform comes with several tools for analyzing your Haskell programs performance and behaviour. Included are time and space profiling tools, and tools for graphically visualizing the memory use and structure of running Haskell programs.

- Haskell Code Coverage: The Platform provides HPC - a professional-grade tool generating code coverage information and statistics for Haskell. Code coverage information can tell you how good your test suite is, or what part of your code is executing at any given time."; function tShowHide(id, show) { var s = document.getElementById("desc"); if ((s.innerHTML.length<=212 || show==1) && show!=2) { s.innerHTML = fDesc[id]; if (document.getElementById('m1')) document.getElementById('m1').style.display='none'; if (document.getElementById('m2')) document.getElementById('m2').style.display='none'; if (document.getElementById('more_txt')) document.getElementById('more_txt').style.display='inline'; } else { s.innerHTML = ''; } }