Re: [Haskell-cafe] Shouldnt this be lazy too?

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