Home

For help getting started with Haskell, see the Haskell website.

To find documentation and packages, see the Stackage website.

Please see the Coding Standards.

Stack

Installation

Install Stack.

Options

These Stack options may be useful to Kore developers:

# ~/.stack/config.yaml

ghc-options:
  # Build multiple modules in parallel for local targets.
  # Stack already builds multiple packages in parallel, so we do not want to
  # apply this option to dependencies, or we might run out of memory.
  "$targets": -j8  # Exact choice of thread count may vary.

build:
  # Build vanilla AND profiled libraries.
  # Avoids rebuilding dependencies twice when using --profile.
  library-profiling: true

Cabal

Installation

1. Install ghcup.
2. Install GHC: run ghcup ghc 8.10.1.
3. Install Cabal: run ghcup cabal 3.2.