HoTT/HoTT — pull request #645 by JasonGross (2014-12-16 09:48:52+00:00)
Title: Remove a false comment

It's no longer true of how primitive projections work.

Does this need any other eyes than travis'?