Completed
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming Languages in Agda - Propositions as Types
Automatically move to the next video in the Classroom when playback concludes