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

[Darij Grinberg]

Same here!

On Mon, Jan 13, 2014 at 9:01 PM, Michael M <tactics40 at gmail.com> wrote:
> Can someone link me to the Google Hangout? I don't have voice, but I'd like
> to sit in and listen, if it's not too much trouble.
>
> _______________________________________________
> HoTT-reading-group mailing list
> HoTT-reading-group at mit.edu
> http://mailman.mit.edu/mailman/listinfo/hott-reading-group
>