Additional resources

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

Name		Name	Last commit message	Last commit date
Latest commit History 350 Commits
.github/workflows		.github/workflows
Agda		Agda
Colloquia		Colloquia
HoTT		HoTT
Scripts		Scripts
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
README.md		README.md