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