AFP RWH coverage

This is a summary of what parts of the Real World Haskell book students should know after the course (including some parts that students should know before the course).

Note that the AFP course also covers some aspects not covered by the RWH book (see parts of lectures 2 (EDSL), 4 (program transformation), 8 (type based modelling), and the guest lectures on Feldspar and Agda).

Summary:

Details: