Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler
The basic syntax of Agda
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
Now you try: writing your first Agda program
Eliminating Run-Time Errors with Agda - Computerphile
Agda (programming language) Top # 6 Facts
Agda Track by Jesper Cockx
Writing an Agda program interactively
Agda 4: Correctness of programs
"Super Haskell": an introduction to Agda by André Muricy
Programming in Agda - Lecture 1 - Ulf Norell
Keynote: Dependently-Typed Haskell - Stephanie Weirich
Kleisli categories in Agda
Mihaly Barasz - Practical Intro to Agda and Coq - May 2020 - HaskellerZ
Using Agda's proof search to automatically write common functions
agda-vim Introduction
Scott Fleischman: Agda from Nothing Part 1 - λC 2016
Programming in Agda - Lecture 4 - Ulf Norell