WingNews logo WingNews
top | item 45850409

(no title)

andrewl-hn | 3 months ago

And some proof assistant languages and frameworks. For a second I was really excited there, but this is another font with “programming ligatures”.

discuss

order

sayyadirfanali|3 months ago

i know the title can be a bit misleading but Myna is primarily ASCII.

languages which insist on using full Unicode like APL and Agda have bigger problems (availability of uniform glyphs and inconsistency with monospace design) on their plates. which imo is one reason why full Unicode editing hasn't really caught up.

Myna doesn't use any ligatures though. it would run on almost all terminals and editors.

andrewl-hn|3 months ago

Yeah, I realize that I was wrong about ligatures afterwards. The two plusses next to each other looked as if they are a single combined glyph, but they are in fact separate. I think this is the effect you were trying to reach, and it looks very slick.