Remove Touch Overlay
Eliminating Run-Time Errors with Agda - Computerphile
Duration: 18:37Views: 58.2KLikes: 1.8KDate Created: Aug, 2021
Channel: Computerphile
Category: Education
Tags: functional programmingmathematicstype theoryfpuniversity of nottinghamagdacodingcomputercomputerphilecomputer scienceformal computer sciencesciencemathproofcomputersprogramming
Description: A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda. facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.com
Swipe Gestures On Overlay
Items shown
to: 10
of:999