[HoTT-reading-group] where did we get to?

Joe Hannon hannon at math.bu.edu
Tue Jan 28 22:18:51 EST 2014

Previous message: [HoTT-reading-group] Bool ≃ (Bool ≃ Bool)
Next message: [HoTT-reading-group] where did we get to?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I missed the HoTT reading group this week, and was unable connect to the
google hangout. What did you guys get through? Are we on to chapter 3 for
next week?

Joe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140128/da639aa9/attachment.htm

Previous message: [HoTT-reading-group] Bool ≃ (Bool ≃ Bool)
Next message: [HoTT-reading-group] where did we get to?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the HoTT-reading-group mailing list