Eliminating Run-Time Errors with Agda - Computerphile

(18:37)

Agda Problem Session 1: Introduction to Agda, types \u0026 functions (Astra) - HoTTEST Summer School 2022

(1:8:46)

Agda Problem Session 1: Introduction to Agda, types \u0026 functions (Tom) -- HoTTEST Summer School 2022

(58:24)

Agda 4: Correctness of programs

(45:19)

Agda Problem Session 2: Basic MLTT Types (Astra) -- HoTTEST Summer School 2022

(1:37)

Some computer-assisted proofs with Agda - Radical Pi

(54:5)

Jacques Carette: \

(59:16)

HoTTEST Summer School 2022: Agda Problem Session 4 (Astra)

(1:4)

Agda Problem Session 3: Identity types, Σ-types \u0026 universes (Astra) -- HoTTEST Summer School 2022

(1:8:34)

Agda Problem Session 7: Cubical Agda - an introduction (Astra) -- HoTTEST Summer School 2022

(1:6:2)

Agda Problem Session 7: Cubical Agda - an introduction (Max) -- HoTTEST Summer School 2022

(1:45:56)

HoTTEST Summer School 2022: Agda Problem Session 5 (Astra)

(57:49)

Agda Problem Session 2: Basic MLTT Types (Max) -- HoTTEST Summer School 2022

(1:5:2)

Agda PLFA reading group - week 4

(1:21:51)

HoTTEST Summer School 2022: Agda Problem Session 4 (Elisabeth)

(57:24)

Agda Problem Session 8: Quotients and Higher Inductive Types (Astra) -- HoTTEST Summer School 2022

(1:14:26)

ISRM-LOGRAC-2022-02-17 First steps with Agda

(2:21:38)

Agda Problem Session 3: Identity types, Σ-types \u0026 universes (Johannes) -- HoTTEST Summer School 2022

(47:25)

Agda Problem Session 9: Homogeneous comp. \u0026 cubical univalence (Axel) -- HoTTEST Summer School 2022

(1:46:25)