Add F* support.

vimrc

@@ -126,6 +126,8 @@ Plug 'nvim-lua/popup.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'nvim-telescope/telescope.nvim'
 
+Plug 'gebner/VimFStar'
+
 Plug 'hashivim/vim-terraform'
 
 else
@@ -230,6 +232,8 @@ lua <<EOF
     },
   }
 
+  require'fstar'.setup{}
+
   -- require('nvim-treesitter.configs').setup{
   --   -- playground = {
   --   --   enable = true,
@@ -365,7 +369,7 @@ inoremap <silent><expr> <C-d>     compe#scroll({ 'delta': -4 })
 nnoremap gD <Cmd>lua vim.lsp.buf.declaration()<CR>
 nnoremap gd <Cmd>lua vim.lsp.buf.definition()<CR>
 nnoremap K <Cmd>lua vim.lsp.buf.hover()<CR>
-nnoremap <leader>K <cmd>lua vim.lsp.diagnostic.show_line_diagnostics{show_header = false}<CR>
+nnoremap <leader>K <cmd>lua vim.diagnostic.open_float{header = ''}<CR>
 nnoremap gi <cmd>lua vim.lsp.buf.implementation()<CR>
 nnoremap <C-k> <cmd>lua vim.lsp.buf.signature_help()<CR>
 nnoremap <space>wa <cmd>lua vim.lsp.buf.add_workspace_folder()<CR>
@@ -375,7 +379,6 @@ nnoremap <space>D <cmd>lua vim.lsp.buf.type_definition()<CR>
 nnoremap <space>rn <cmd>lua vim.lsp.buf.rename()<CR>
 nnoremap <space>ca <cmd>lua vim.lsp.buf.code_action()<CR>
 nnoremap gr <cmd>lua vim.lsp.buf.references()<CR>
-nnoremap <space>e <cmd>lua vim.lsp.diagnostic.show_line_diagnostics()<CR>
 nnoremap [d <cmd>lua vim.diagnostic.goto_prev()<CR>
 nnoremap ]d <cmd>lua vim.diagnostic.goto_next()<CR>
 nnoremap <space>q <cmd>lua vim.lsp.diagnostic.set_loclist()<CR>