../ agda-stdlib-symbols-matrix.txt 01-Apr-2023 10:55 741 agda-stdlib-symbols.txt 01-Apr-2023 10:55 4607 bug1159.txt 01-Apr-2023 10:55 156 legibility-test-matrix.txt 01-Apr-2023 10:55 373 tie-marks.txt 01-Apr-2023 10:55 109