[Haskell-cafe] Re: Re: Review request for my permutations implementation

[Maciej Piechotka]

On Thu, 2010-01-07 at 14:12 +0100, Daniel Fischer wrote:
> Am Donnerstag 07 Januar 2010 14:04:20 schrieb Maciej Piechotka:
> 
> >
> 
> > As pointed out perms [] = [[]]. You can note that:
> 
> > length . perms == factorial
> 
> Surely you meant
> 
> genericLength . perms == factorial . (genericLength :: [a] -> Integer)
> 

Ups. Sorry.  About genericLength - I can use length as it is
postcondition not in haskell (please note that ¬Eq ([a] -> Integer) ;))

Regards