aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed.hs
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-17 00:20:47 +0200
committerMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-17 00:26:59 +0200
commit713d76559c42129afb24843af4386d18f1827727 (patch)
tree476c00426dd778f1adaba50f069cd949a2992c34 /src/Data/Array/Nested/Mixed.hs
parent0d6f77762d1697ea41b190e550f94e459079e3d1 (diff)
Merge both Lemmas modulesHEADmaster
Diffstat (limited to 'src/Data/Array/Nested/Mixed.hs')
-rw-r--r--src/Data/Array/Nested/Mixed.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs
index 54bd5f2..7a86e4d 100644
--- a/src/Data/Array/Nested/Mixed.hs
+++ b/src/Data/Array/Nested/Mixed.hs
@@ -42,7 +42,7 @@ import GHC.Float qualified (expm1, log1mexp, log1p, log1pexp)
import GHC.Generics (Generic)
import GHC.TypeLits
-import Data.Array.Mixed.Lemmas
+import Data.Array.Nested.Lemmas
import Data.Array.Nested.Permutation
import Data.Array.Nested.Types
import Data.Array.XArray (XArray(..))