Pull some changes from the work machine

nvim/.config/nvim/init.vim

@@ -27,6 +27,9 @@ Plug 'derekelkins/agda-vim'
 Plug 'ftorres16/spice.vim'
 Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
 Plug 'FStarLang/VimFStar', {'for': 'fstar'}
+" Plug '~/Documents/software/chapel/highlight/vim'
+Plug 'lorin/vim-alloy'
+" Plug 'ashinkarov/nvim-agda'
 
 " Themes
 Plug 'arcticicestudio/nord-vim'
@@ -40,6 +43,7 @@ Plug 'simrat39/symbols-outline.nvim'
 Plug 'folke/todo-comments.nvim'
 
 " Misc
+Plug 'uga-rosa/utf8.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'airblade/vim-gitgutter'
 Plug 'f-person/git-blame.nvim'
@@ -61,6 +65,7 @@ autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice
 autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog
 autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent
 autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents
+autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel.
 
 " Settings for Rainbow
 let g:rainbow_active = 1
@@ -94,6 +99,9 @@ lua require('lspconfig').tsserver.setup{}
 lua require('lspconfig').elmls.setup{}
 lua require('lspconfig').pylsp.setup{}
 
+" All these language servers can be used for symbols-outline
+lua require("symbols-outline").setup()
+
 " nmap <silent>K <Plug>(lcn-menu)
 nmap <silent>M <cmd>lua vim.lsp.diagnostic.show_line_diagnostics()<CR>
 nmap <silent>? <cmd>lua vim.lsp.buf.hover()<CR>