ComputerEliminating Run-Time Errors with Agda – ComputerphileAugust 20, 2021 by admin 0 Comments Share on Facebook Share on Twitter Share on Google+ Share on Pinterest Share on LinkedIn A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda. Share on Facebook Share on Twitter Share on Google+ Share on Pinterest Share on LinkedIn Products You May LikeArticles You May Like Is Your Privacy An Illusion? (Taking on Big Tech) – Smarter Every Day 263 How to Lie Your Way to $34 Billion [Nikola Motors Fraud] News | Where Did Domesticated Horses Come From? How to reduce bias in your workplace | The Way We Work, a TED series Why the US is always hitting a "debt ceiling"