From b86b3d4fac2dab7d5cbd3600157faa71c6a91eda Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 23 Aug 2024 18:40:07 -0700
Subject: [PATCH] Add F* support.

---
 vimrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/vimrc b/vimrc
index d0ac826..549d819 100644
--- a/vimrc
+++ b/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,