dlicata335/hott-agda — pull request #1 by joeschmo (2012-06-07 02:52:07+00:00)
Title: Torus

I forgot that I need to ask you to pull my commits in order for your branch to reflect the changes I made.