Belgium has been the hottest place in Europe during the last few days, and I have to admit that I was distracted by the sun. Another distraction from was the book “The Haskell Road to Logic, Maths and Programming” that’s been sitting on my bookshelf for quite a while. Only recently did I conquer the awe spread by the title and it looks like a book that will improve my reasoning about Haskell and language. Hopefully, it will teach me something about formal logic in the process.

I will not abandon just yet, but I’ve been digging too deep into the Haskell Road. The following weeks you will probably see sporadic updates on concerning classification and on the Haskell Road concerning logic. Isn’t that a nice mix?