[HoTT-reading-group] Assignment for next Monday

[Chris Jeris]

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/5fbaf82f/attachment.htm