Haskell Warmup (CEFP 2011)

• Lesson 1: Expressions and types
• Lesson 2: Function definitions
• Lesson 3: Data type definitions
• Lesson 4: Type classes

Haskell Course (Spring 2013)

Course material (under development):

The Haskell Interpreter

Numbers | Conversions | Bool | Lists | List Comprehensions

Basic Language Constructs

Definitions | Pattern Matching | Recursion | Guards | where

Course information

Haskell Blog Posts

• Function Graphs
• Rubik’s Cube
• Economic Interpreter for Haskell
• ActiveHs User’s Guide
• ActiveHs Developer’s Documentation

Agda

Course material

The slides of the previous one-day Agda course are gradually merged into the course material.