3 ms·

Iosevka is indeed a very pretty typeface. I've been using it for a while now and been really enjoying it. Here's some Dafny code for your viewing pleasure: htt

• indemnity 10y ago
  Which color scheme is that, if you don't mind? I always keep an eye open for pleasing colors :)
  • aban 10y ago
    Of course not! The color scheme [0] is my fork of tango-plus [1] with a few small changes. [0]: https://github.com/aminb/tango-plus-theme https://github.com/aminb/tango-plus-theme [1]: https://github.com/tmalsburg/tango-plus-theme https://github.com/tmalsburg/tango-plus-theme
• riquito 10y ago
  I like the use of ligatures to write <= as ≤
  • kps 10y ago
    I disagree; if you want ≤, use ≤. Oddly, Iosveka currently doesn't provide (for instance) ⇒ or ⟹, according to the specimen sheet, even though it contains ligature-derived glyphs that look just like ⇒ and ⟹.
    • riquito 10y ago
      I want ≤ but I don't want syntax errors in my code.
      • kps 10y ago
        Well, yes. For some languages we'll need to wait for standards committees, but there are a number of popular single-implementation languages that really have no excuse.
• haldean 10y ago
  How do you get the ligatures to work with vim? I've been trying to wrangle PragmataPro and gvim for a while but haven't managed yet.
  • photon-torpedo 10y ago
    If you use vim in the terminal, ligature support just depends on the terminal emulator. In Linux, qterminal and konsole work.