G'day all.
Quoting Donald Bruce Stewart <[EMAIL PROTECTED]>:
> Get some free theorems:
> lambdabot> free f :: (b -> b) -> [b] -> [b]
> f . g = h . f => map f . f g = f h . map f
I finally got around to fixing the name clash bug. It now reports:
g . h = k . g => map g . f h = f k . map g
Get your free theorems from:
http://andrew.bromage.org/darcs/freetheorems/
Cheers,
Andrew Bromage
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
