[bandali]

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: https://i.imgur.com/clxUR1y.png

[riquito]

I like the use of ligatures to write <= as ≤

[kps]

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]

I want ≤ but I don't want syntax errors in my code.

[kps]

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]

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]

If you use vim in the terminal, ligature support just depends on the terminal emulator. In Linux, qterminal and konsole work.

[indemnity]

Which color scheme is that, if you don't mind? I always keep an eye open for pleasing colors :)

[aban]

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

[1]: https://github.com/tmalsburg/tango-plus-theme