HoTTEST Summer School 2022

Summer school on homotopy type theory and Agda. I was a teaching assistant involved in tutoring and holding exercise sessions. All lectures and exercise sessions can be found here, including my sessions.