2 ms·Yep; see The Haskell Road to Logic, Maths and Programming.by rramadass 6y agoYep; see The Haskell Road to Logic, Maths and Programming.