module Problem2 where import qualified Problem2.Prod import qualified Problem2.Proof import qualified Problem2.NonLaws -- Problem 2(a): see Problem2/Prod.hs -- Problem 2(b): see Problem2/Proof.hs -- Problem 2(c): see Problem2/NonLaws.hs