News for hackers. Stuff that matters.

A comment on JetBrains Mono – the free and open-source typeface for developers. Parent comment

Re:JetBrains Mono – the free and open-source typeface for de... by oxff on Thursday January 20, 2022 @03:16PM (#30014149)
They're fine in moderation, like for logical signs. I wouldn't want UNICODE symbol soup like Agda code seems to be.
[ Parent | on HN ]

There are no comments on this comment yet.