HoTT/HoTT-Agda — pull request #1 by sattlerc (2013-09-18 12:19:03+00:00)
Title: Minor improvements to version 1

Hi! These are some minor improvements me and Nicolai Kraus needed when using the library for our universe truncation level proof. They shouldn't break anything.