Awesome work, thanks! Hadn't heard of that book but looks good. /bookmarked for future reference.
There's another book on a similar vein called "Haskell Road to Logic, Maths and Programming" that I intend to tackle in the future. It's a bit more advanced than this book, but if you already know some discrete math, that might be a better place to start.