4 ms·
Personally, I really dislike ligatures. Do you think many people use them? If there's a need, I would consider adding ligature fonts
by s9w 10y ago
Personally, I really dislike ligatures. Do you think many people use them? If there's a need, I would consider adding ligature fonts
- kika 10y agoWell, Fira Code, Monoid and Hasklig are quite popular fonts. I personally like arrows and fat arrows, they're so much better than their "composite" versions ( <- -> <= and =>), especially in some monospace fonts where dash is not in the middle vertically. "Shove" symbols ( >>= and <<= ) are also much nicer. The rest is I can live without :-)