This folder contains some auxiliary files for the Agda track of the HoTTEST Summer School 2022. Everything here is optional material.
- Paradoxes derived from “type in type”:
This folder contains some auxiliary files for the Agda track of the HoTTEST Summer School 2022. Everything here is optional material.