88,036 views
1 year ago
64,554 views
2 years ago
595,972 views
366,158 views
7 months ago
Show more
75,800 views
1,791
0
Computerphile
2.39M subscribers
Tags
computers
computerphile
computer
science
Computer Science
University of Nottingham
Professor Thorsten Altenkirch
Agda
Proof
FP
Math
Mathematics
Programming
Coding
203 Comments