GitHub repository: susliko/tla.nvim
Primary language: Lua
Created: 2021-08-02T18:48:24Z
Description: TLA+/PlusCal support for Neovim