speculate 0.2.0 → 0.2.1

raw patch · 1 files changed

+5/−5 lines, 1 files

Files

• speculate.cabal +5/−5

@@ -1,15 +1,15 @@ name:                speculate-version:             0.2.0+version:             0.2.1 synopsis:            discovery of properties about Haskell functions description:   Speculate automatically discovers laws about Haskell functions.   Give Speculate a bunch of Haskell functions and it will discover laws like:   .-  * equations, such as 'id x == x';+  * equations, such as @ id x == x @;   .-  * inequalities, such as '0 <= x * x';+  * inequalities, such as @ 0 <= x * x @;   .-  * conditional equations, such as 'x <= 0  ==>  x + abs x == 0'.+  * conditional equations, such as @ x <= 0  ==>  x + abs x == 0 @.  homepage:            https://github.com/rudymatela/speculate#readme license:             BSD3@@ -31,7 +31,7 @@ source-repository this   type:            git   location:        https://github.com/rudymatela/speculate-  tag:             v0.2.0+  tag:             v0.2.1   library