Haskell Warmup

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

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.