[HoTT-reading-group] Assignment for next Monday

[Chris Jeris]

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.

peace, Chris


On Fri, Feb 14, 2014 at 11:26 AM, Jason Gross <jasongross9 at gmail.com> wrote:

> 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.
>
> If you're finding chapter 4 dry or boring, consider focusing on 4.6, 4.7,
> and 4.8.
>
> -Jason
>
> On Friday, February 14, 2014, Chris Jeris <cjeris at gmail.com> wrote:
>
>> So there will be a meeting next Monday in spite of the holiday?
>>
>> peace, Chris
>>
>>
>> On Mon, Feb 10, 2014 at 4:16 PM, Jason Gross <jasongross9 at gmail.com>wrote:
>>
>>> The ##hott channel on irc will probably have people who have been
>>> working on exercises in Agda.
>>>
>>> -Jason
>>>
>>>
>>> On Mon, Feb 10, 2014 at 4:14 PM, Chris Jeris <cjeris at gmail.com> wrote:
>>>
>>>> Sorry we didn't get the last bit -- the hangout fell apart at 3:53 PM
>>>> for unclear reasons.
>>>>
>>>>  Is anyone else working the exercises in Agda?  It would be handy for
>>>> me to have someone to compare code with.
>>>>
>>>> peace, Chris
>>>>
>>>>
>>>> On Mon, Feb 10, 2014 at 4:06 PM, Jason Gross <jasongross9 at gmail.com>wrote:
>>>>
>>>>> 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.)
>>>>>
>>>>> -Jason
>>>>>
>>>>> _______________________________________________
>>>>> HoTT-reading-group mailing list
>>>>> HoTT-reading-group at mit.edu
>>>>> http://mailman.mit.edu/mailman/listinfo/hott-reading-group
>>>>>
>>>>>
>>>>
>>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140214/998e1edc/attachment.htm