From 713d76559c42129afb24843af4386d18f1827727 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Sat, 17 May 2025 00:20:47 +0200
Subject: Merge both Lemmas modules

---
 ox-arrays.cabal | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'ox-arrays.cabal')

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
-- 
cgit v1.2.3-70-g09d2