../ agda-stdlib-symbols-matrix.txt 15-Nov-2020 11:11 741 agda-stdlib-symbols.txt 15-Nov-2020 11:11 4607 legibility-test-matrix.txt 15-Nov-2020 11:11 373