../ agda-stdlib-symbols-matrix.txt 17-Feb-2021 09:25 741 agda-stdlib-symbols.txt 17-Feb-2021 09:25 4607 legibility-test-matrix.txt 17-Feb-2021 09:25 373