[HoTT-reading-group] Assignment for next Monday

[Jason Gross]

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<javascript:_e(%7B%7D,'cvml','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<javascript:_e(%7B%7D,'cvml','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<javascript:_e(%7B%7D,'cvml','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<javascript:_e(%7B%7D,'cvml','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/128fa286/attachment.htm