Computerphile

Eliminating Run-Time Errors with Agda (2021x32)

Yayınlanma tarihi: Ağu 20, 2021

A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.