User talk:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations

This new page looks good to me -- it is much more accurate and balanced than the current one. I favor replacing the current one with this.Steveawodey (talk) 15:24, 1 March 2015 (UTC)