GitHub repository: tlaplus-community/tlaplus-nvim-plugin
Primary language: Lua
Created: 2021-09-14T00:46:09Z
Description: In-place translation of TLA⁺ symbols into Unicode, in Neovim