3 ms·

I asked this question in ##hott on freenode last week, and someone recommended http://www.cs.cmu.edu/~rwh/courses/hott/ http://www.cs.cmu.edu/~rwh/courses/hott/