mikeslab/Iosevka
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions 1
Iosevka/sample-text
History
Belleve Invis 3103278e23 Symbols: Further Agda high-frequency symbol support
2020-01-22 21:50:34 -08: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