lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Natural.hs (221B)

      1 module Lude.Natural (
      2     Natural,
      3     pattern NaturalZero,
      4     pattern NaturalSucc,
      5     naturalPred,
      6 ) where
      7 
      8 import Lude.Haskell.Natural
      9 
     10 --------------------------------------------------------------------------------