../ agda-stdlib-symbols-matrix.txt 12-Dec-2020 08:02 741 agda-stdlib-symbols.txt 12-Dec-2020 08:02 4607 legibility-test-matrix.txt 12-Dec-2020 08:02 373