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. HoTTEST YouTube. Additional resources agda-unimath 1Lab Introduction to HoTT/UF with Agda Cubical Library GitPod