Solutions to the exercises in "The Haskell Road to Logic, Maths and Programming"