On Tue, 5 Aug 2003 15:23:09 +0200 Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote:
> > You could define different types for different natural numbers: > data Zero = Zero > data Succ number = Succ number This resembles http://www.brics.dk/RS/01/10/ V. _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe