Homotopy Type Theory desired articles (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

This method is used fruitfully in HoTT however can be a bit difficult to understand for beginners. Add some more articles detailing its use and generalisations. Specifically the proof of $\pi_1(S^1)$ and van kampen.