Eliminating Run-Time Errors with Agda - Computerphile
A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.
/ computerphile
/ computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Watch video Eliminating Run-Time Errors with Agda - Computerphile online, duration hours minute second in high quality that is uploaded to the channel Computerphile 20 August 2021. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 65,574 times and liked it 1.9 thousand visitors.
