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