Start of discussion of harmony
Merge branch 'cmu-2013-fall' of https://github.com/favonia/hott-notes into cmu-2013-fall
more on IPL