(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019 Channel: GOTO Conferences3K views • 25/06/2024