Full threadSimucal·Has anyone read "The Haskell Road to Logic, Math and Programming"? Seeing it on this list reminded me that I had wanted to check it out.View on HN