Commit graph

2 commits

Author SHA1 Message Date
be5invis
c02d563760 Add corpus for legibility test (#645). 2020-07-27 01:35:37 -07:00
Belleve Invis
3103278e23 Symbols: Further Agda high-frequency symbol support 2020-01-22 21:50:34 -08:00