main :: IO ()
main = hspec $ do
  describe "Addition" $ do
    it "1 + 1 is greater than 1" $ do
      (1 + 1) > 1 `shouldBe` True
    it "2 + 2 is greater than 3" $ do
      (2 + 2) > 3 `shouldBe` True
    it "x + 1 is always greater than x" $ do
      property $ \x -> x + 1 > (x :: Int)
    it "x + 1 is always greater than x" $ do
      property $ \x -> (x + 1 > (x :: Int)) && (x < 4)
      
  describe "Division" $ do
    it "15 divided by 5 is 3" $ do
      dividedBy 15 5 == (3, 0) `shouldBe` True
      dividedBy 15 5 /= (3, 0) `shouldBe` False
main :: IO ()
main = hspec $ do
  describe "Addition" $ do
    it "1 + 1 is greater than 1" $ do
      (1 + 1) > 1 `shouldBe` True
    it "2 + 2 is greater than 3" $ do
      (2 + 2) > 3 `shouldBe` True
    it "x + 1 is always greater than x" $ do
      property $ \x -> x + 1 > (x :: Int)
    it "x + 1 is always greater than x" $ do
      property $ \x -> (x + 1 > (x :: Int)) && (x < 4)
      
  describe "Division" $ do
    it "15 divided by 5 is 3" $ do
      dividedBy 15 5 == (3, 0) `shouldBe` True
      dividedBy 15 5 /= (3, 0) `shouldBe` False
main = hspec $ do
  describe "Addition" $ do
    it "1 + 1 is greater than 1" $ do
      (1 + 1) > 1 `shouldBe` True
    it "2 + 2 is greater than 3" $ do
      (2 + 2) > 3 `shouldBe` True
    it "x + 1 is always greater than x" $ do
      property $ \x -> x + 1 > (x :: Int)
    it "x + 1 is always greater than x" $ do
      property $ \x -> (x + 1 > (x :: Int)) && (x < 4)
      
  describe "Division" $ do
    it "15 divided by 5 is 3" $ do
      dividedBy 15 5 == (3, 0) `shouldBe` True
      dividedBy 15 5 /= (3, 0) `shouldBe` False