naturals

natural numbers in Haskell
git clone git://git.rr3.xyz/naturals
Log | Files | Refs

Naturals.hs (388B)

      1 module Naturals (
      2     module X,
      3 ) where
      4 
      5 import Naturals.Fin as X hiding (FSucc, FZero)
      6 import Naturals.Finat as X
      7 import Naturals.Finatural as X
      8 import Naturals.IsFin as X
      9 import Naturals.IsSpeano as X
     10 import Naturals.Nat as X
     11 import Naturals.Natural as X
     12 import Naturals.Peano as X
     13 import Naturals.Snat as X
     14 import Naturals.Snatural as X
     15 import Naturals.Speano as X hiding (Succ, Zero)