Completed
David Sankel: The Intellectual Ascent to Agda
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Intellectual Ascent to Agda
Automatically move to the next video in the Classroom when playback concludes