../ agda-stdlib-symbols-matrix.txt 02-Jan-2021 17:41 741 agda-stdlib-symbols.txt 02-Jan-2021 17:41 4607 legibility-test-matrix.txt 02-Jan-2021 17:41 373