[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) – Philip Wadler Channel: PurPL192 views • 29/06/2020Related VideosKeynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019(Programming Languages) in Agda = Programming (Languages in Agda) by Philip WadlerPhilip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
