HM-notes.txt – Notes on Hindley-Milner-Damas types and inference
why-no-head-of-empty-list.txt – I promised this explanation
A few notes on Haskell syntax from previous year’s materials:
functors-in-math-vs-haskell.txt – Why Functors? What is fmap?
more-monads.txt – a few more examples + IO monad