HoTT/HoTT — pull request #221 by JasonGross (2013-10-01 18:45:05+00:00)
Title: Add some very basic theory about pointed types.

This closes #220.