Problem solving. Programming, and calculation
A module of shapes Part I
Simple graphics
Shapes II: Drawing shapes
Polymorphic and higher-order functions
Shapes III: Perimeters of shapes
A module of regions
More about higher-order functions
Drawing regions
Proof by induction
Qualified types
A module of simple animations
Programming with streams
A module of reactive animations
Communicating with the outside world
Rendering reactive animations
Higher-order types
An imperative robot language
Functional music composition
Interpreting functional music
From performance to MIDI
A tour of the preludelist module
A tour of Haskell's Standard type classes. App. A. Built-in types are not special
B. Pattern-matching details