17 Jan
2007
17 Jan
'07
6:02 p.m.
I wrote:
It is nice that you gave proofs of the >>= monad laws in terms of the join monad laws... Maybe give the proofs in the opposite direction as an exercise.
David House wrote:
Yes, they are, here are my proofs:... I've added the suggested exercise.
Alas, too late - you've published the solutions! :) Regards, Yitz