[HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 5

[Darij Grinberg]

Hi Michael,

not sure if my info is up to date, but:
>Looking forward, there will be no meeting on January 20, as I will be in flight headed to >the POPL conference.

  Best regards,
  Darij

On Mon, Jan 20, 2014 at 9:05 PM, Michael M <tactics40 at gmail.com> wrote:
> Can someone link me to the Google Hangout?
>
> _______________________________________________
> HoTT-reading-group mailing list
> HoTT-reading-group at mit.edu
> http://mailman.mit.edu/mailman/listinfo/hott-reading-group
>