gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add F* support.

Browse Source
This commit is contained in:
Gabriel Ebner 2024-08-23 18:40:07 -07:00
parent 05d0318fee
commit b86b3d4fac
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
vimrc
View File

@ -126,6 +126,8 @@ Plug 'nvim-lua/popup.nvim'
Plug 'nvim-lua/plenary.nvim' Plug 'nvim-lua/plenary.nvim'
Plug 'nvim-telescope/telescope.nvim' Plug 'nvim-telescope/telescope.nvim'
Plug 'gebner/VimFStar'
Plug 'hashivim/vim-terraform' Plug 'hashivim/vim-terraform'
else else
@ -230,6 +232,8 @@ lua <<EOF
}, },
} }
require'fstar'.setup{}
-- require('nvim-treesitter.configs').setup{ -- require('nvim-treesitter.configs').setup{
-- -- playground = { -- -- playground = {
-- -- enable = true, -- -- enable = true,