From 962e370036a50a0aad76d24fae14cb1c74f995d5 Mon Sep 17 00:00:00 2001
From: Nicole Tietz-Sokolskaya <me@ntietz.com>
Date: Mon, 2 Aug 2021 15:38:00 -0400
Subject: [PATCH] tla

---
 nvim/.config/nvim/init.vim  | 4 +++-
 nvim/.config/nvim/plugs.vim | 3 +++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim
index b93ffa8..55fc55b 100644
--- a/nvim/.config/nvim/init.vim
+++ b/nvim/.config/nvim/init.vim
@@ -68,10 +68,12 @@ nmap <F8> :TagbarToggle<CR>
 " inoremap <expr><C-n> deoplete#mappings#manual_complete()
 " inoremap <expr><tab> pumvisible() ? "\<c-n>" : "\<tab>"
 
-" Turn off polyglot for go so they play nice
+" Turn off polyglot for some langs so they play nice
 if exists('g:loaded_polyglot')
     let g:polyglot_disabled = ['go']
     let g:polyglot_disabled = ['rst']
+    let g:polyglot_disabled = ['tla']
 endif
+au BufRead,BufNewFile *.tla setf tla
 
 set nowrap
diff --git a/nvim/.config/nvim/plugs.vim b/nvim/.config/nvim/plugs.vim
index e4a899f..6241832 100644
--- a/nvim/.config/nvim/plugs.vim
+++ b/nvim/.config/nvim/plugs.vim
@@ -41,5 +41,8 @@ Plug 'zchee/deoplete-jedi'
 " Tags
 Plug 'majutsushi/tagbar'
 
+" TLA+
+Plug 'hwayne/tla.vim'
+
 call plug#end()