Neil Mitchell wrote:
HilengthNat [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?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
