The title made no sense for the given content. I have changed from “HoTT Mini-Course” to “HoTT Mini-Course 2016” (at the very least – possibly it deserves more qualifiers).
Also added missing category:reference
-tag.
Page created, but author did not leave any comments.
Anonymous
]]>