<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 18, 2015 at 3:28 PM, Marcin Mrotek <span dir="ltr"><<a href="mailto:marcin.jan.mrotek@gmail.com" target="_blank">marcin.jan.mrotek@gmail.com</a>></span> wrote:<br><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1e3" class="a3s" style="overflow:hidden">This does seem to work, I have no idea why. I'm pretty sure there I've<br>
made a mistake somewhere. Perhaps I shouldn't do equational reasoning<br>
after just getting up, or just use Agda :-/</div></blockquote></div><br></div><div class="gmail_extra">Congrats ! Vuvuzela !<br><br></div>If there are bugs in the proof, you can give it to your students to patch up.<br><div><div><div><div><br clear="all"><div class="gmail_extra"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div></div></div></div></div>