Home

Welcome to the Kore wiki!

Kore is built with Stack using packages from LTS Haskell.

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

To find documentation and packages, see the Stackage website.

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

Please see the Coding Standards