Programming Language Foundations in Agda – Philip Lee Wadler Channel: Math UniPD3K views • Streamed 7y agoRelated VideosPhilip Wadler - Programming Language Foundations in Agda (HaskellX 2019 Keynote)(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021Agda: Naturals - nat
