This repository is archived
Use the neovim plugin instead, which encompasses this functionality.
Unicode translation (of e.g. \l
to ←
as in other Lean environments),
for (n)vim. These are suitable for use with coc-snippets (or directly with Ultisnips).
These translations are auto-generated via a script from the vscode-lean file.
Install as a normal (n)vim plugin, via e.g.:
Plug 'Julian/lean-unicode.vim'
Run:
$ bin/regenerate >Ultisnips/lean.snippets