Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
Philip Wadler - Programming Language Foundations in Agda (HaskellX 2019 Keynote)
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler
Now you try: writing your first Agda program
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
ISRM-LOGRAC-2022-02-17 First steps with Agda
Kleisli categories in Agda
Dependently-typed Programming in Agda - Dan Licata: Lecture 1-1
Prof. Philip Wadler | Interpreters for Free
Agda (programming language) Top # 6 Facts
Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022
Generics from Java to Haskell and Agda part 1
"Super Haskell": an introduction to Agda by André Muricy
A Demonstration of Agda
A Simple Introduction to Agda
Proving in Constructive Mathematics by Programming in Agda Course by Uma Zalakain | Session 1
Mihaly Barasz - Practical Intro to Agda and Coq - May 2020 - HaskellerZ
Introduction to Agda [1/5]
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
Scott Fleischman: Agda from Nothing Part 2 - λC 2016
Proving in Constructive Mathematics by Programming in Agda Course by Uma Zalakain | Session 3
Agda Livecoding: wasm-agda Session 1
Introduction to Agda - Matthew Brecknell - BFPG 2015-03
![[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler](https://img.youtube.com/vi/eKGbbKwdKb0/0.jpg)
![Introduction to Agda [1/5]](https://img.youtube.com/vi/shXKb2MTkUc/0.jpg)
