nvim/.config/nvim/init.vim

@@ -27,8 +27,8 @@ Plug 'derekelkins/agda-vim'
 Plug 'ftorres16/spice.vim'
 Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
 Plug 'FStarLang/VimFStar', {'for': 'fstar'}
-Plug 'purescript-contrib/purescript-vim'
 " Plug '~/Documents/software/chapel/highlight/vim'
+Plug 'lorin/vim-alloy'
 " Plug 'ashinkarov/nvim-agda'
 
 " Themes
@@ -47,7 +47,6 @@ Plug 'uga-rosa/utf8.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'airblade/vim-gitgutter'
 Plug 'f-person/git-blame.nvim'
-Plug 'wakatime/vim-wakatime'
 call plug#end()
 
 set exrc " Execute local vimscripts
@@ -100,7 +99,6 @@ lua require('lspconfig').clangd.setup{}
 lua require('lspconfig').tsserver.setup{}
 lua require('lspconfig').elmls.setup{}
 lua require('lspconfig').pylsp.setup{}
-lua require('lspconfig').purescriptls.setup{}
 lua require('lspconfig').pyright.setup{}
 
 " All these language servers can be used for symbols-outline