naturals

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

Peano.hs (153B)

      1 module Naturals.Peano (
      2     module Naturals.Peano.Alias,
      3     module Naturals.Peano.Prim,
      4 ) where
      5 
      6 import Naturals.Peano.Alias
      7 import Naturals.Peano.Prim