../ agda-stdlib-symbols-matrix.txt 18-Apr-2021 01:01 741 agda-stdlib-symbols.txt 18-Apr-2021 01:01 4607 legibility-test-matrix.txt 18-Apr-2021 01:01 373