Programming in Agda – Lecture 1 – Ulf Norell Channel: Hadi Moshayedi2K views • 28/06/2015Related VideosAgda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022Programming Language Foundations in Agda - Philip Lee WadlerLecture 1: Administrivia and getting started with AgdaPhilip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
