- 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.
tomdjong / hottest-summer-school-development Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dlicata335/hottest-summer-school-development
HoTTEST Summer School materials