[Haskell-beginners] Monad for Pair

Kim-Ee Yeoh ky3 at atamo.com
Wed Nov 18 08:44:11 UTC 2015

On Wed, Nov 18, 2015 at 3:28 PM, Marcin Mrotek <marcin.jan.mrotek at gmail.com>

This does seem to work, I have no idea why. I'm pretty sure there I've
> made a mistake somewhere. Perhaps I shouldn't do equational reasoning
> after just getting up, or just use Agda :-/

Congrats ! Vuvuzela !

If there are bugs in the proof, you can give it to your students to patch

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20151118/c948a6bb/attachment.html>

More information about the Beginners mailing list