18 Jan
2007
18 Jan
'07
12:02 a.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