For course material, see http://www.cs.cmu.edu/~rwh/courses/hott/ Lecture notes: http://www.cs.cmu.edu/~rwh/courses/hott/notes/notes_week2.pdf
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
