[HoTT-reading-group] Thank you!

[David Spivak]

Yeah, thanks Jason for putting this together. Nice meeting everybody!


On Mon, Apr 28, 2014 at 8:51 PM, Chris Jeris <cjeris at gmail.com> wrote:

> Hi everybody,
>
> Thank you very much, Jason, for running the reading group this semester
> and making the extra effort so that I and others could participate
> remotely.  And thanks to all the other group members too!  I learned a lot
> from all of you and I am happy to have had the opportunity to join you all
> for a while.  It was especially nice to be able to participate even though
> my professional mathematician days are far behind me.
>
> If the group reconvenes in the fall, I hope to join you again!
>
> peace, Chris Jeris
>
> _______________________________________________
> 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/20140429/99acb0bc/attachment.htm