Lecture: Thursday 15:40 in S1

This repository contains the accompanying code that will be discussed during the lectures. The package doesn't contain an executable; it is primarily meant to be used in a REPL environment.

To start out, run:

cabal repl

This should start GHCI and load the module Untyped. If you want to mess with the type inference, load the Typed module by running the following in your GHCI:

:m *Typed

The package is also fully documented. You can generate the documentation by running:

cabal haddock

• Learn You a Haskell for Great Good (introductory Haskell guide)
• Real World Haskell (intermediate Haskell guide)
• Haskell wikibook (various)
• Old repository (contains type inference lecture notes)

• GHCup (compiler, package managers, etc)
• Visual Studio Code (editor)
• Haskell plugin (VS Code plugin)
• Simple Haskell plugin (another VS Code plugin, in case the previous one doesn't work)

• Oral exam at the end of the semester