update README

Author: martinescardo

README.md

@@ -1,3 +1,10 @@
+## [HoTTEST Summer School 2022](https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html)
+
+ * [Agda materials and exercises](https://martinescardo.github.io/HoTTEST-Summer-School/)
+ * [HoTT worksheets](Worksheets)
+ * Egbert Rijke's [Introduction to HoTT](hott-intro.pdf)
+
+
 <a href="https://gitpod.io/#https://github.com/martinescardo/HoTTEST-Summer-School">
   <img
     src="https://img.shields.io/badge/Contribute%20with-Gitpod-908a85?logo=gitpod"