aboutsummaryrefslogtreecommitdiff
path: root/ox-arrays.cabal
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 /ox-arrays.cabal
parent0d6f77762d1697ea41b190e550f94e459079e3d1 (diff)
Merge both Lemmas modulesHEADmaster
Diffstat (limited to 'ox-arrays.cabal')
-rw-r--r--ox-arrays.cabal3
1 files changed, 1 insertions, 2 deletions
diff --git a/ox-arrays.cabal b/ox-arrays.cabal
index d9a345b..3834f2e 100644
--- a/ox-arrays.cabal
+++ b/ox-arrays.cabal
@@ -55,11 +55,10 @@ library
-- put this module on top so ghci considers it the "main" module
Data.Array.Nested
- Data.Array.Mixed.Lemmas
- Data.Array.Nested.Internal.Lemmas
Data.Array.Nested.Convert
Data.Array.Nested.Mixed
Data.Array.Nested.Mixed.Shape
+ Data.Array.Nested.Lemmas
Data.Array.Nested.Permutation
Data.Array.Nested.Ranked
Data.Array.Nested.Ranked.Base