Hacker News new | ask | show | jobs
by rramadass 2067 days ago
Yep; see The Haskell Road to Logic, Maths and Programming.