18 Nov
2015
18 Nov
'15
8:44 a.m.
On Wed, Nov 18, 2015 at 3:28 PM, Marcin Mrotek <marcin.jan.mrotek@gmail.com> wrote: 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 up. -- Kim-Ee