what are good fonts for programming in languages with a lot of unicode characters (e.g. agda)?
@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
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.