<div dir="ltr">So there will be a meeting next Monday in spite of the holiday?<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:16 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">The ##hott channel on irc will probably have people who have been working on exercises in Agda.<span class="HOEnZb"><font color="#888888"><div>
<br></div><div>-Jason</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Feb 10, 2014 at 4:14 PM, Chris Jeris <span dir="ltr"><<a href="mailto:cjeris@gmail.com" target="_blank">cjeris@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">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"><div>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>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><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><font color="#888888"><div>
<br></div><div>-Jason</div></font></span></div>
<br></div>_______________________________________________<br>
HoTT-reading-group mailing list<br>
<a href="mailto:HoTT-reading-group@mit.edu" target="_blank">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>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>