Hi > > lengthNat [1..] > 10 > > > > Couldn't be clearer, and can be made to work perfectly. If anyone does > > want to pick up the lazy naturals work, I can send over the code (or > > write it yourself - its not hard!) > > > > Um... isn't a lazy natural just a list with no data, where the list > length encodes a number?
Pretty much, yes. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
