[email protected]
[Top] [All Lists]

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

Subject: [Haskell-cafe] Re: Re: Review request for my permutations implementation
From: Maciej Piechotka
Date: Thu, 07 Jan 2010 14:21:18 +0100
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


_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>