HoTT/HoTT — pull request #316 by JasonGross (2014-02-15 16:22:26+00:00)
Title: Ex 3 13 3 14

Do exercises 3.13 and 3.14