naturals

commit f4eb4c71824a5d2ac0d96385591fe1afe60c9860
parent 809f6e44c7f4e2b23aca3d4fd606e1e7dd4132b2
Author: Robert Russell <robert@rr3.xyz>
Date:   Sun,  6 Jul 2025 18:45:11 -0700

Don't export FinatSeq for Naturals top-level module

It clashes with Prelude.

Diffstat:
M
src/Naturals.hs
 | 
1
-

1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/src/Naturals.hs b/src/Naturals.hs
@@ -4,7 +4,6 @@ module Naturals (
 
 import Naturals.Fin as X hiding (FSucc, FZero)
 import Naturals.Finat as X
-import Naturals.FinatSeq as X
 import Naturals.Finatural as X
 import Naturals.IsFin as X
 import Naturals.IsSpeano as X