Thank you. I look forward to seeing your patches soon :). There's another book on a similar vein called "Haskell Road to Logic, Maths and Programming" that I i

Thank you. I look forward to seeing your patches soon :). 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.