40945e8adea7 // 440 GiB free of 8.64 TiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].description | 437 | 2022-03-08 06:03:25 |
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].mkv | 129000790 | 2021-08-21 17:28:40 |
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].webp | 74684 | 2022-03-08 06:03:30 |
![20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].webp](20210820%20-%20Eliminating%20Run-Time%20Errors%20with%20Agda%20-%20Computerphile%20-%20%281116s%29%20%5B1920x1080%5D%20%5BbRudW0aBNg8%5D.webp?b=u){kind=link}