We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 938ac5e commit 703d3d5Copy full SHA for 703d3d5
HaskellExercises08/test/Spec.hs
@@ -96,6 +96,8 @@ main = hspec $ do
96
describe "addSNat" $ do
97
it "addSNat (intToSNat x) (intToSNat y) should be x+y" $ property $ addSNatProp
98
describe "multSNat" $ do
99
+ it "multSNat (intToSNat x) (intToSNat y) should be x*y" $ property $ multSNatProp
100
+ describe "absSNat" $ do
101
it "should always be Positive and not change the underlying Nat" $ property $ absSNatProp
102
describe "negateSNat" $ do
103
it "should flip the sign but keep the underlying Nat" $ property $ negateSNatProp
0 commit comments