../ agda-stdlib-symbols-matrix.txt 29-Jun-2021 08:45 741 agda-stdlib-symbols.txt 29-Jun-2021 08:45 4607 legibility-test-matrix.txt 29-Jun-2021 08:45 373