Several minor changes to subtitles in the monad/interactive series of lectures.
Merge pull request #36 from pbl64k/monad-srt

Several minor changes to subtitles
material for chapter 9 and 10
Merge pull request #40 from fptudelft/content

material for chapter 9 and 10