../ agda-stdlib-symbols-matrix.txt 25-Oct-2020 09:59 741 agda-stdlib-symbols.txt 25-Oct-2020 09:59 4607 legibility-test-matrix.txt 25-Oct-2020 09:59 373