@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.
@otini I fully understand that. ☺
@amiloradovsky See my answer to MartinShadok in the other branch
@otini Oh, OK. Of course finding analogues for all the plugins and configuration settings takes more efforts than just changing the keybindings.
functional.cafe is an instance for people interested in functional programming and languages.