diff options
Diffstat (limited to 'src/Data/Array/Nested.hs')
| -rw-r--r-- | src/Data/Array/Nested.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |