Setting up Haskell

I recommend installing the stack build tool for Haskell. Once this is done, the entire compiler toolchain can be installed just by typing stack setup. This should work on Linux, Windows and Mac. Alternatively, the compiler and toolchain can be installed from distribution package managers on Linux, but these are often out of date or configured incorrectly.

Typing stack repl should open ghci and stack exec ghc can be used to run ghc. Example: stack exec ghc -- --make Main.hs (the trailing -- means “the following command line arguments should be sent to the ghc program”)

Haskell resources

Online resources

Mailing lists

Language tutorials & background reading

Language reference



Agda resources