marcelovmaciel / 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.
• HoTTEST YouTube.

Additional resources

• agda-unimath
• 1Lab
• Introduction to HoTT/UF with Agda
• Cubical Library
• GitPod