Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022 Published 2022-07-06 Download video MP4 360p Recommendations 1:08:46 Agda Problem Session 1: Introduction to Agda, types & functions (Astra) - HoTTEST Summer School 2022 18:37 Eliminating Run-Time Errors with Agda - Computerphile 1:10:07 "Super Haskell": an introduction to Agda by André Muricy 1:31:09 HoTT Lecture 1: Dependent types and dependent functions -- HoTTEST Summer School 2022 1:14:48 The Future of Mathematics? 1:02:15 Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript 1:04:53 How I became seduced by univalent foundations 50:20 Scott Fleischman: Agda from Nothing Part 1 - λC 2016 31:13 Researchers Use Group Theory to Speed Up Algorithms — Introduction to Groups 17:14 Programming with Proofs - Computerphile 2:14:49 Foundations 6: Simple Type Theory 1:24:08 Felix Cherubini, A foundation for synthetic algebraic geometry 31:12 Deciphering Obfuscated JavaScript Malware 1:30:37 Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) 1:08:56 Evan Cavallo, Why some cubical models don't present spaces 18:49 01 Course Introduction 41:40 "Categories for the Working Hacker" by Philip Wadler Similar videos 58:24 Agda Problem Session 1: Introduction to Agda, types & functions (Tom) -- HoTTEST Summer School 2022 1:05:00 HoTT Problem Session 1: Dependent types and dependent functions -- HoTTEST Summer School 2022 1:41:54 Agda Lecture 2: Basic MLTT Types -- HoTTEST Summer School 2022 1:34:12 Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022 1:32:02 Agda Lecture 3: Identity types, Σ-types & universes -- HoTTEST Summer School 2022 1:06:02 Agda Problem Session 7: Cubical Agda - an introduction (Astra) -- HoTTEST Summer School 2022 1:00:37 Agda Problem Session 2: Basic MLTT Types (Astra) -- HoTTEST Summer School 2022 1:28:04 HoTTEST Summer School 2022: Agda Lecture 4 1:05:02 Agda Problem Session 2: Basic MLTT Types (Max) -- HoTTEST Summer School 2022 1:45:56 Agda Problem Session 7: Cubical Agda - an introduction (Max) -- HoTTEST Summer School 2022 1:08:34 Agda Problem Session 3: Identity types, Σ-types & universes (Astra) -- HoTTEST Summer School 2022 47:25 Agda Problem Session 3: Identity types, Σ-types & universes (Johannes) -- HoTTEST Summer School 2022 1:34:21 Agda Lecture 6: Calculating the fundamental group of the circle -- HoTTEST Summer School 2022 1:25:30 HoTT Problem Session 3: Identity types (Axel) -- HoTTEST Summer School 2022 1:14:26 Agda Problem Session 8: Quotients and Higher Inductive Types (Astra) -- HoTTEST Summer School 2022 1:00:04 HoTTEST Summer School 2022: Agda Problem Session 4 (Astra) More results