Index of /parrot/pool/main/a/agda/

Name ↑  ↓ Size ↑  ↓ Date ↑  ↓ 
--
1.6 MiB06-08-2022 | 17:04
4.3 KiB06-12-2022 | 16:40
10.3 KiB06-12-2022 | 16:40
49.8 KiB06-12-2022 | 17:41
12.0 KiB06-12-2022 | 17:41
6.3 MiB06-12-2022 | 17:41
7.4 MiB06-12-2022 | 17:57
23.7 MiB06-12-2022 | 17:57