diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim index 02413ae..aeab113 100644 --- a/nvim/.config/nvim/init.vim +++ b/nvim/.config/nvim/init.vim @@ -27,6 +27,7 @@ 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' " Themes Plug 'arcticicestudio/nord-vim' @@ -43,6 +44,7 @@ Plug 'folke/todo-comments.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 @@ -93,6 +95,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{} " nmap K (lcn-menu) nmap M lua vim.lsp.diagnostic.show_line_diagnostics()