HoTT/book — pull request #436 by pellissier (2013-07-29 13:50:10+00:00)
Title: Solutions to Exercises 1.1 to 1.3

Drafts of solutions to exercises 1.1 to 1.3