1:31:42Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022HoTTEST10.0K viewsView & Download
1:10:07"Super Haskell": an introduction to Agda by André MuricyFunc Prog Sweden8.8K viewsView & Download
44:35(Programming Languages) in Agda = Programming (Languages in Agda) by Philip WadlerCodegram10.3K viewsView & Download
53:06Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021Code Sync2.6K viewsView & Download
1:34:12Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022HoTTEST1.6K viewsView & Download
1:41:54Agda Lecture 2: Basic MLTT Types -- HoTTEST Summer School 2022HoTTEST2.1K viewsView & Download
![Introduction to Agda [1/5] — Edward Kmett — the basic syntax of agda YouTube to MP3 & MP4 download on TubeGalore](/api/image/shXKb2MTkUc/mqdefault)
