[HoTT-reading-group] Thank you!

[Chris Jeris]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140428/0dc537e7/attachment.htm