Ada proofs

lua/ada_mode.lua

@@ -15,6 +15,18 @@ function Prove()
 	buffer_loaded = true
 end
 
+-- @name Run
+-- @param
+-- @short Run program using alire
+function Run()
+	vim.cmd("new")
+	local run_cmd = { "alr run" }
+	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
+	vim.cmd(":%!bash")
+
+	buffer_loaded = true
+end
+
 function Close_Prove()
 	if buffer_loaded then
 		buffer_loaded = false
@@ -23,13 +35,14 @@ function Close_Prove()
 end
 
 vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
+vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
 
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.
 local function setup_ada()
 	vim.keymap.set("n", "<leader>cb", ":!gnatpp %<cr>")
-	vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
 	vim.opt.tabstop = 3
 	vim.opt.shiftwidth = 3
 end