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)
(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler
Prof. Philip Wadler | Interpreters for Free
Now you try: writing your first Agda program
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
Programming in Agda - Lecture 1 - Ulf Norell
"Super Haskell": an introduction to Agda by André Muricy
A Demonstration of Agda
ISRM-LOGRAC-2022-02-17 First steps with Agda
Dependently-typed Programming in Agda - Dan Licata: Lecture 1-1
Kleisli categories in Agda
Gabriele Keller - Keynote: Functional programming for array-based parallelism - Lambda Days 2020
Introduction to Agda - Matthew Brecknell - BFPG 2015-03
Programming in agda Tutorial
Agda (programming language) Top # 6 Facts
Generics from Java to Haskell and Agda part 1
Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022
![[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler](https://img.youtube.com/vi/eKGbbKwdKb0/0.jpg)
