(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler Channel: Codegram10K views • 29/06/2020Related Videos(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022
