From 018ebecade82009a3410f19982dd435b6e0715d8 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 14 Apr 2024 10:31:46 +0200
Subject: Rename inductive naturals to INat

---
 src/Data/Array/Nested.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Data/Array/Nested.hs')

diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs
index aa7c7f9..0de3884 100644
--- a/src/Data/Array/Nested.hs
+++ b/src/Data/Array/Nested.hs
@@ -27,8 +27,8 @@ module Data.Array.Nested (
   Elt(mshape, mindex, mindexPartial, mlift),
   Primitive(..),
 
-  -- * Natural numbers
-  module Data.Nat,
+  -- * Inductive natural numbers
+  module Data.INat,
 
   -- * Further utilities / re-exports
   type (++),
@@ -39,4 +39,4 @@ import qualified Data.Vector.Unboxed as VU
 
 import Data.Array.Mixed
 import Data.Array.Nested.Internal
-import Data.Nat
+import Data.INat
-- 
cgit v1.2.3-70-g09d2