Earlier quoted context omitted.
And some proof assistant languages and frameworks. For a second I was really excited there, but this is another font with “programming ligatures”.
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.
Myna: Monospace typeface designed for symbol-heavy programming languages
21–30 of 185 posts
Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#22Earlier quoted context omitted.
a few others have raised the same point. in my defense i can only say that i adore that particular style because it looks more like what i draw by hand.
I guess it depends on what you are used to. I draw them like “ʃ” by hand, and find the more squiggly style unnecessarily noisy visually. It makes the brace direction a little less obvious to see at first glance.
Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#23I personally love Jetbrains Mono; it's been one of a kind for me and my tastes. I like it over Consolas (although this is one is pretty good on Windows), Fira Mono, Inconsolata, Plex Mono. But I can see the effort here and I'm definitely going to give this one a try! I've found that typefaces can change a lot depending on pixel alignment and rendering engines (i.e. ClearType, GDI, FreeType, Quartz... let pixel grid d…
Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#24Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#25Just a heads-up.
Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#26Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#27Re: Myna: Monospace typeface designed for symbol-heavy programming languages
#28Earlier quoted context omitted.
And some proof assistant languages and frameworks. For a second I was really excited there, but this is another font with “programming ligatures”.
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.