5 Jan
2008
5 Jan
'08
6:08 p.m.
Isaac Dupree wrote:
Achim Schneider wrote:
on page 6, stronger vs weaker seemed backwards to me... isn't (wrap ◦ unwrap = idA) a stronger condition than (wrap ◦ unwrap ◦ body = body), because it tells you more, and is true in fewer cases? (which is also why you want to assume (wrap ◦ unwrap = idA) when you can, because it's the most useful one for subsequent program transformation)
Ah, thanks you say that, I have been asking myself if that was just me, having things backward. In my book, stronger => weaker, too. Cheers Ben