naturals

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

Finat.hs (117B)

      1 module Naturals.Finat (
      2     module Naturals.Finat.Unsafe,
      3 ) where
      4 
      5 import Naturals.Finat.Unsafe hiding (FinatUnsafe)