../ agda-stdlib-symbols-matrix.txt 04-Apr-2021 12:36 741 agda-stdlib-symbols.txt 04-Apr-2021 12:36 4607 legibility-test-matrix.txt 04-Apr-2021 12:36 373