../ agda-stdlib-symbols-matrix.txt 19-Dec-2020 22:28 741 agda-stdlib-symbols.txt 19-Dec-2020 22:28 4607 legibility-test-matrix.txt 19-Dec-2020 22:28 373