7 Jan
2010
7 Jan
'10
8:21 a.m.
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