Merge remote-tracking branch 'origin/master'

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

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,6 +47,7 @@ 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
@@ -99,6 +100,7 @@ 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