../ agda-stdlib-symbols-matrix.txt 14-Mar-2021 23:14 741 agda-stdlib-symbols.txt 14-Mar-2021 23:14 4607 legibility-test-matrix.txt 14-Mar-2021 23:14 373