Follow

what are good fonts for programming in languages with a lot of unicode characters (e.g. agda)?

· · Web · 1 · 2 · 1

@hazel i use source code pro but it falls back to dejavu. mono first then sans if all else fails; dejavu sans has really good unicode coverage but unfortunately isnt monospaced. i dont think theres any monospaced fonts with better unicode coverage that ive heard of

@milo @hazel +1 for source code pro, I've also been recommended Fira Code but I think I just ended up liking how source code pro looked more

@ionchy @hazel lmao literally same here, i tried out fira cus its very popular but i just dont like it as much as source code pro (semi bold)

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.