HoTT/HoTT — pull request #360 by JasonGross (2014-04-06 05:22:39+00:00)
Title: Add many entries to categories TOC

Hopefully the TOC can now be a decent entry point for categories

Since this touches nothing but documentation, and that only in categories, I'm going to push this directly