Integer.hs (235B)
1 module Lude.Integer ( 2 Integer, 3 pattern IntegerNegSucc, 4 pattern IntegerZero, 5 pattern IntegerPosSucc, 6 ) where 7 8 import Lude.Haskell.Integer 9 10 --------------------------------------------------------------------------------