~myrrc/tlaplus-conceal.vim 

upd readme
first plugin version
Initial commit

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~myrrc/tlaplus-conceal.vim
read/write
git@git.sr.ht:~myrrc/tlaplus-conceal.vim

You can also use your local clone with git send-email.

#tlaplus-conceal.vim

Simple plugin that shows unicode characters for your TLA+ files.

Usage:

  • Download plugin
  • set conceallevel=2
  • au BufNewFile,BufRead *.tla set syntax=tla.
Do not follow this link