HoTT/Archive — pull request #1 by awodey (2012-04-24 18:38:35+00:00)
Title: added LICS2012.zip

Added LICS2012.zip containing an archive of the files from
HoTT/Foundations/IT for the LICS 2012 paper "Inductive types in Homopty
Type Theory" by Awodey, Gambino and Sojakova.