corrected hom-typo, changed 2 references to publications rather than webpages: Gonthier and Coquand
Merge pull request #2 from mikeshulman/hom-typo

changes inspired by proofreading the MSCS version