a-conjecture-of-mine

An exercise on polyglossy: the same problem solved on multiple languages

commit 364f3869791e00048bb41663581f98331bff34e6
parent 637f5d917cfea52e68099b9275e3a349a1a7ec5c
Author: Pablo Escobar Gaviria <gark.garcia@protonmail.com>
Date:   Tue, 21 Jan 2020 10:31:38 -0200

Cleaned the Haskell implementation.

Diffstat:
M.gitignore | 3+++
MHaskell/Main.hs | 3++-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/.gitignore b/.gitignore
@@ -7,6 +7,9 @@
 bin
 build
 *.un~
+*.swp
+*.o
+*.hi
 extra.pl
 Latex
 Cuda
diff --git a/Haskell/Main.hs b/Haskell/Main.hs
@@ -10,7 +10,7 @@ import Numeric.Natural
 import System.Environment
 import System.Exit
 import Control.Monad (foldM)
-import Data.Vector (Vector, unsafeIndex, generate, (!))
+import Data.Vector (Vector, unsafeIndex, generate)
 
 main :: IO Int
 main = do
@@ -19,6 +19,7 @@ main = do
     case readDec <$> head' args of
         Just [(max, "")] ->
             if counterexempl max then exitFailure else exitSuccess
+
         _ -> exitInvalidInput
     
     where head' [] = Nothing