../ agda-stdlib-symbols-matrix.txt 26-Dec-2020 03:25 741 agda-stdlib-symbols.txt 26-Dec-2020 03:25 4607 legibility-test-matrix.txt 26-Dec-2020 03:25 373