- School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more.
- Agda lecture notes and exercises
- HoTT lecture notes and exercises
djspacewhale / hottest-summer-school Goto Github PK
View Code? Open in Web Editor NEWThis project forked from martinescardo/hottest-summer-school
my solutions to exercises from HoTTEST Summer School 2022