Skip to content

Commit

Permalink
added LICS2012.zip
Browse files Browse the repository at this point in the history 
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.
  • Loading branch information
@awodey
awodey committed Apr 24, 2012
1 parent 62dcff7 commit e5ebed1
Showing 1 changed file with 0 additions and 0 deletions.
Binary file added LICS2012.zip
View file
Binary file not shown.

0 comments on commit e5ebed1

Please sign in to comment.