Content Analysis: HoTTEST Summer School 2022 Agda
Agda Lecture 2: Basic MLTT Types -- HoTTEST Summer School 2022
HoTTEST Summer School 2022
Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022
HoTTEST Summer School 2022 Agda
Agda Lecture 3: Identity types, Σ-types & universes -- HoTTEST Summer School 2022
HoTTEST Summer School 2022
HoTTEST Summer School 2022: Agda Lecture 4
HoTTEST Summer School 2022 Agda
Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022
HoTTEST Summer School 2022 Agda
HoTTEST Summer School 2022: Agda Lecture 5
Agda
Agda Problem Session 3: Identity types, Σ-types & universes (Astra) -- HoTTEST Summer School 2022
Agda
HoTTEST Summer School 2022: Agda Problem Session 5 (Astra)
Agda
Agda Problem Session 3: Identity types, Σ-types & universes (Johannes) -- HoTTEST Summer School 2022
Agda
Agda Problem Session 1: Introduction to Agda, types & functions (Tom) -- HoTTEST Summer School 2022
HoTTEST Summer School 2022 Agda
Agda Problem Session 1: Introduction to Agda, types & functions (Astra) - HoTTEST Summer School 2022
HoTTEST Summer School 2022 Agda
Agda Problem Session 2: Basic MLTT Types (Max) -- HoTTEST Summer School 2022
Agda
Agda Lecture 8: Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST Summer School 2022
HoTTEST Summer School 2022 Agda