reorganize and add more material

Author: martinescardo

HoTT/HoTTEST_Lecture_1.pdf

@@ -0,0 +1,8 @@
+## HoTT materials and exercises
+
+ * [HoTT Lecture 1](HoTTEST_Lecture_1.pdf) ([Paige North's](https://paigenorth.github.io/))
+ * [Worksheets](Worksheets/)
+
+## Additional material
+
+ * [Introduction to HoTT](hott-intro.pdf) ([Egbert Rijke's](https://github.com/EgbertRijke))

HoTT/README.md

@@ -1,13 +1,14 @@
 ## [HoTTEST Summer School 2022](https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html)
 
+ * [School webpage ar UWO](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)
 
+# Additional resources
 
-<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"
-    alt="Contribute with Gitpod"
-  />
-</a>
+ * [agda-unimath](https://github.com/UniMath/agda-unimath)
+ * [1Lab](https://1lab.dev/)
+ * [Introduction to HoTT/UF with Agda](https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html#contents)
+ * [Cubical Library](https://github.com/agda/cubical)
+ * [GitPod](https://gitpod.io/#https://github.com/martinescardo/HoTTEST-Summer-School)