dlicata335/hott-agda — pull request #2 by joeschmo (2012-06-14 14:39:23+00:00)
Title: TS1S1 updates

I have filled in all but the remaining two major goals.