[Haskell-cafe] Shouldnt this be lazy too?

[Neil Mitchell]

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