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()