<div dir="ltr">I don't want to impose preferences on anyone else; you have been kind enough to do a bunch of setup to accommodate remote participants like me, which has sometimes consumed significant time, and I am very grateful for that. I will be unable to attend this coming Monday though.<div>
<br></div><div>peace, Chris</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Feb 14, 2014 at 11:26 AM, 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>Yes, I'm happy to meet Monday (and Monday is the day we have the room reserved for, I believe). However, if anyone feels strongly about meeting Tuesday instead, I can look into getting a room on Tuesday, or we can cancel this weeks meeting.</div>
<div><br></div><div>If you're finding chapter 4 dry or boring, consider focusing on 4.6, 4.7, and 4.8.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-Jason</div></font></span><div class="HOEnZb">
<div class="h5"><br>On Friday, February 14, 2014, Chris Jeris <<a href="mailto:cjeris@gmail.com" target="_blank">cjeris@gmail.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>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><font color="#888888"><div>
<br></div><div>-Jason</div></font></span></div><div><div><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>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>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>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>
</blockquote>
</div></div></blockquote></div><br></div>