[HoTT-reading-group] Assignment for next Monday

[Chris Jeris]

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