Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


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.



J mostly looks good but [) looks almost like a fancy capital D which can be distracting and =# run together at smaller font sizes which is a little weird. Those are the only things that jump out at me but I did not look hard, overall I would say it is one of the better fonts I have tried for J.

The big problem that I am having with this font is that its narrowness makes it difficult to find a fallback font for APL/BQN that plays well.


good idea. since i don't code in J, can you supply a 2-3 line quintessential J example to demonstrate this?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: