../ agda-stdlib-symbols-matrix.txt 06-Dec-2020 15:05 741 agda-stdlib-symbols.txt 06-Dec-2020 15:05 4607 legibility-test-matrix.txt 06-Dec-2020 15:05 373