HoTT/book — pull request #660 by nicolaikraus (2014-04-13 12:14:35+00:00)
Title: added exercise to chapter 3

I created an exercise that continues exercise 3.19 as suggested in the discussion of issue #659