Permalink
Switch branches/tags
Nothing to show
Commits on Apr 24, 2012
  1. readme updated

    awodey committed Apr 24, 2012
  2. readme updated

    awodey committed Apr 24, 2012
  3. readme

    awodey committed Apr 24, 2012
  4. Update IT/README.md

    awodey committed Apr 24, 2012
  5. expanded LICS2012 to a directory

    awodey committed Apr 24, 2012
    expanded the zipped version to a directory to improve handling
  6. added LICS2012.zip

    awodey committed Apr 24, 2012
    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.
  7. Update README.md

    awodey committed Apr 24, 2012
  8. initial commit

    awodey committed Apr 24, 2012