naturals

commit db6d10b99f3a092cb6b2ddc16c0aa166bf5c083d
parent 8454395107598be25d3715db44f197f9cd43883b
Author: Robert Russell <robert@rr3.xyz>
Date:   Sat,  5 Jul 2025 12:34:27 -0700

Export finatMirror and finaturalMirror

Diffstat:
M
src/Naturals/Finat.hs
 | 
1
+
M
src/Naturals/Finatural.hs
 | 
1
+

2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/Naturals/Finat.hs b/src/Naturals/Finat.hs
@@ -1,5 +1,6 @@
 module Naturals.Finat (
     Finat (..),
+    finatMirror,
 ) where
 
 import GHC.Natural
diff --git a/src/Naturals/Finatural.hs b/src/Naturals/Finatural.hs
@@ -1,5 +1,6 @@
 module Naturals.Finatural (
     Finatural (..),
+    finaturalMirror,
 ) where
 
 import GHC.Natural