Use strict-containers for IntMaps

2022-07-21 15:27:00 +01:00
parent 22787abf8f
commit cf5ec4a261
92 changed files with 103 additions and 98 deletions
@@ -39,7 +39,7 @@ import ShortShow
 import Polyhedra

 import StreamingHelp
-import qualified Data.IntMap.Strict as IM -- Lazy?
+import qualified IntMapHelp as IM -- Lazy?
 import qualified Data.Map.Strict as M
 import Control.Lens
 import Data.Maybe