4 Sep
2006
4 Sep
'06
2:06 p.m.
G'day all. Quoting Donald Bruce Stewart <dons@cse.unsw.edu.au>:
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