lean-unicode.vim
Vim Snippet
★ 3
updated 5y ago
▣ archived
Unicode translation (of e.g. \l to ← as in other Lean environments), for (n)vim
No plain-English explanation yet — one is being written right now. Check back in a minute.