be5invis c02d563760 Add corpus for legibility test (#645).		2020-07-27 01:35:37 -07:00
..
agda-stdlib-symbols-matrix.txt	Symbols: Further Agda high-frequency symbol support	2020-01-22 21:50:34 -08:00
agda-stdlib-symbols.txt	Symbols: Further Agda high-frequency symbol support	2020-01-22 21:50:34 -08:00
legibility-test-matrix.txt	Add corpus for legibility test (#645).	2020-07-27 01:35:37 -07:00