Programming Language Foundations in Agda: Naturals Channel: jappie live350 views • 29/06/2022Related VideosProgramming Language Foundations in Agda - Philip Lee Wadler(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021