HoTT/HoTT — pull request #351 by JasonGross (2014-03-29 23:29:28+00:00)
Title: Exercise 7.1

Do exercise 7.1 from the book.

This is on top of #347