Comments from the members of Homotopy Type Theory - Google Groups.

https://groups.google.com/forum/#!topic/homotopytypetheory/K...