HoTT/HoTT-Agda — pull request #11 by sattlerc (2014-05-28 16:52:37+00:00)
Title: Master

Some additions and improvements.