From 3db17f9849ceedc408db1227b1f3c9b963dbd6d5 Mon Sep 17 00:00:00 2001
From: yannickreiss <yannick.reiss@protonmail.ch>
Date: Thu, 31 Jul 2025 08:57:16 +0200
Subject: [PATCH] Update

---
 UltiSnips/lean.snippets | 11 +++++++++++
 lua/vanilla.lua         |  6 +++---
 2 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/UltiSnips/lean.snippets b/UltiSnips/lean.snippets
index 8c79516..1f6a53c 100644
--- a/UltiSnips/lean.snippets
+++ b/UltiSnips/lean.snippets
@@ -6,6 +6,14 @@ snippet <> "Add sharp brackets"
 ⟨$1⟩$0
 endsnippet
 
+snippet | "dvd"
+∣
+endsnippet
+
+snippet () "Braces"
+($1)$0
+endsnippet
+
 # Mengen
 snippet N "Natural number"
 ℕ
@@ -15,6 +23,9 @@ snippet Z "Whole numbers"
 ℤ
 endsnippet
 
+snippet R "Real"
+ℝ
+endsnippet
 
 # Quantoren
 snippet E "Exists"
diff --git a/lua/vanilla.lua b/lua/vanilla.lua
index 5fc5d78..7c4c1db 100644
--- a/lua/vanilla.lua
+++ b/lua/vanilla.lua
@@ -73,7 +73,7 @@ local function update_nix_interpreter()
 		})
 		return
 	end
-	local cmd = { "nix-instantiate", "--eval", filename }
+	local cmd = { "nix-instantiate", "--eval", "--strict", filename }
 	local output = vim.fn.systemlist(cmd)
 	if vim.v.shell_error ~= 0 then
 		table.insert(output, 1, "Error running nix-instantiate:")
@@ -85,8 +85,8 @@ end
 -- @param
 -- @short Closes the window and buffer of the interpreter
 local function close_nix_interpreter()
-	vim.api.nvim_buf_delete(nix_interpreter_buffer)
-	vim.api.nvim_win_close(nix_interpreter_window)
+	vim.api.nvim_buf_delete(nix_interpreter_buffer, { unload = true })
+	vim.api.nvim_win_close(nix_interpreter_window, true)
 end
 
 vim.api.nvim_create_autocmd({ "BufEnter" }, {