HoTTEST Summer School 2022 School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more. Agda lecture notes and exercises HoTT lecture notes and exercises Additional resources HOTTEST Summer School 2022 YouTube agda-unimath 1Lab Introduction to HoTT/UF with Agda Cubical Library GitPod