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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe