anka-213 / HoTTEST-Summer-School

HoTTEST Summer School materials

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