add PBTs for arithmetic operators

 - commutativity of addition
 - commutativity of multiplication

1 files changed, 3 insertions, 3 deletions

diff --git a/lisk.cabal b/lisk.cabal
index 4687e9c..8cdb413 100644
--- a/lisk.cabal
+++ b/lisk.cabal
@@ -18,11 +18,11 @@ extra-source-files: CHANGELOG.md
 
 library
   default-language: Haskell2010
+  hs-source-dirs: src
   build-depends: 
     base == 4.*,
     parsec == 3.*,
     mtl >= 2.1
-  hs-source-dirs: src
   exposed-modules: 
     Parser,
     Evaluator,
@@ -33,22 +33,22 @@ library
 executable lisk
   default-language: Haskell2010
   main-is: Main.hs
+  hs-source-dirs: bin
   build-depends: 
     base == 4.*,
     parsec == 3.*,
     readline >= 1.0,
     mtl >= 2.1,
     lisk
-  hs-source-dirs: bin
 
 test-suite properties
   default-language: Haskell2010
   type: exitcode-stdio-1.0
   main-is: Main.hs
   hs-source-dirs: tests
+  other-modules: Properties
   build-depends:
     base == 4.*,
     parsec == 3.*,
     QuickCheck >= 2.1 && < 3,
     lisk
-  other-modules: Properties