Notes on and Excercises from "The Haskell Road to Logic, Maths, and Programming"