Code and exercises related to 'The Haskell Road to Logic, Maths and Programming' 2e