Thanks for noticing. I have fixed the link.
The problem is that Carlo Angiuli has meanwhile changed the name of the document from
http://hottheory.files.wordpress.com/2011/12/hott.pdf
to
http://hottheory.files.wordpress.com/2011/12/hott1.pdf .
So I have also added now a link to his blog post where he seems to be updating the link to the pdf. (If I am guessing correctly what has been happening here.)
]]>I noticed that the link to Carlo Angiuli’s document (listed in references to Oberwolfach HoTT-Coq tutorial) is broken.
]]>