[Haskell-beginners] Monad for Pair
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners