[HoTT-reading-group] Assignment for next Monday

[Jason Gross]

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/20140210/3649d962/attachment.htm