Uros Nedic (May 26 2020 at 12:11): Uros Nedic (May 26 2020 at 12:11):Is it possible to use ligatures in vscoq?
Paolo Giarrusso (May 26 2020 at 12:21):which sort of ligatures, and for what job? For font ligatures, that depends on vscode (bet it works); for Unicode ligatures, that depends on Coq (so I guess yes using user-defined notations, depending on what you want). For _inputting_ unicode them, vscoq does nothing; there’s a bunch of vscode extensions for Unicode input, none perfect (plus input methods on your OS, potentially).
Alexander Gryzlov (May 27 2020 at 00:04):Font ligatures in Iosevka work fine for me in VScode
Last updated: Jun 04 2023 at 22:30 UTC