@otini Bold face for the reserved words? Maybe try underline or something?
@amiloradovsky Meh, I think underlining is not legible. But that's ok, I used fontspec’s \setmonofont to change the monospace font to one with bold tt.
@amiloradovsky Wait, in fact, I actually renounced using a monospace font at all. Listings in non-monospace sans serif look ok with `\lstset[columns=flexible]`.
@otini The only place where monospace is really necessary is ASCII art… And in certain styles of source code, where the indentation depends on the width of the expressions. That may actually be a dubious aesthetic, not sure.
@amiloradovsky Mm I've never quite liked expression-depending indentation in my OCaml code, so I might give non-monospace code a try.
@amiloradovsky Damn, Vim doesn't accept proportional fonts.
@amiloradovsky Alas Emacs bindings are too hard on my pinky, I need Vim's modal editing.
@otini Evil can really help Vim users to migrate to the Church. Unfortunately, some behaviours are not conserved exactly as-is between Vim and Emacs + Evil, so I really only do that when using Proof General.
Generalistic Mastodon instance for open-minded people. Instance Mastodon généraliste pour personnes ouvertes d'esprit.