<div dir="ltr">Sorry we didn't get the last bit -- the hangout fell apart at 3:53 PM for unclear reasons.<div><br></div><div>Is anyone else working the exercises in Agda? It would be handy for me to have someone to compare code with.</div>
<div><br></div><div>peace, Chris</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Feb 10, 2014 at 4:06 PM, Jason Gross <span dir="ltr"><<a href="mailto:jasongross9@gmail.com" target="_blank">jasongross9@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Next Monday, we'll aim to focus on chapters 3 and 4. Please read chapter 4, and attempt exercises 3.13, 3.14, and 4.5 (and come in with knowledge of how to prove them or questions about where you got stuck.)<span class="HOEnZb"><font color="#888888"><div>
<br></div><div>-Jason</div></font></span></div>
<br>_______________________________________________<br>
HoTT-reading-group mailing list<br>
<a href="mailto:HoTT-reading-group@mit.edu">HoTT-reading-group@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/hott-reading-group" target="_blank">http://mailman.mit.edu/mailman/listinfo/hott-reading-group</a><br>
<br></blockquote></div><br></div>