diff --git a/UltiSnips/lean.snippets b/UltiSnips/lean.snippets
index 1f6a53c..a3ec1f6 100644
--- a/UltiSnips/lean.snippets
+++ b/UltiSnips/lean.snippets
@@ -35,3 +35,7 @@ endsnippet
 snippet A "All"
 ∀
 endsnippet
+
+snippet . "Dot"
+·
+endsnippet
diff --git a/UltiSnips/veryl.snippets b/UltiSnips/veryl.snippets
new file mode 100644
index 0000000..d3ec846
--- /dev/null
+++ b/UltiSnips/veryl.snippets
@@ -0,0 +1,13 @@
+snippet module "Create a new module" b
+${1:pub } module ${2:module_name} (
+	$3
+) {
+	$0
+	}
+endsnippet
+
+snippet embed "Add embed"
+embed (inline) sv{{{
+	$1
+}}}$0
+endsnippet
diff --git a/lua/code-completion.lua b/lua/code-completion.lua
index c2179f9..657655e 100644
--- a/lua/code-completion.lua
+++ b/lua/code-completion.lua
@@ -6,6 +6,7 @@ vim.opt.completeopt = { "menu", "menuone" }
 
 -- shortmess is used to reduce verbocity
 -- vim.opt.shortmess = vim.opt.shortmess + { c = true }
+-- ERROR: Unable to load module
 local cmp = require("cmp")
 cmp.setup({
 	-- configuration
diff --git a/lua/formatterconfiguration.lua b/lua/formatterconfiguration.lua
index 1fb9f2b..ce9fbbb 100644
--- a/lua/formatterconfiguration.lua
+++ b/lua/formatterconfiguration.lua
@@ -71,6 +71,16 @@ require("formatter").setup({
 			end,
 		},
 
+		veryl = {
+			function()
+				return {
+					exe = "veryl fmt",
+					args = {},
+					stdin = false,
+				}
+			end,
+		},
+
 		-- Use the special "*" filetype for defining formatter configurations on
 		-- any filetype
 		["*"] = {
diff --git a/lua/linterconfiguration.lua b/lua/linterconfiguration.lua
index e78c04f..fdec47f 100644
--- a/lua/linterconfiguration.lua
+++ b/lua/linterconfiguration.lua
@@ -10,6 +10,7 @@ local linters = {
 	tex = { "proselint" },
 	plaintex = { "proselint" },
 	ada = { "gnat", "gcc", "adals", "cspell" },
+	vhdl = {},
 }
 
 local fixers = {
@@ -30,6 +31,8 @@ local fixers = {
 vim.g.ale_linters = linters
 vim.g.ale_fix_on_save = 0
 vim.g.ale_fixers = fixers
+-- vim.g.ale_vhdl_ghdl_options = "--std=08 --workdir=src/"
 
 vim.keymap.set("n", "<leader>lf", ":ALEFix<CR>")
-vim.keymap.set("n", "<leader>lp", ":ALEFindReferences<CR>")
+vim.keymap.set("n", "<leader>lr", ":ALEFindReferences<CR>")
+vim.keymap.set("n", "<leader>ln", ":ALENext<CR>")
diff --git a/lua/lspconfiguration.lua b/lua/lspconfiguration.lua
index f1d5001..a893edc 100644
--- a/lua/lspconfiguration.lua
+++ b/lua/lspconfiguration.lua
@@ -56,3 +56,11 @@ end
 
 vim.lsp.enable("als")
 vim.lsp.config("als", { projectFile = get_config_file() })
+
+vim.lsp.enable("vhdl_ls")
+vim.lsp.config("vhdl_ls", {
+	cmd = { "vhdl_ls" },
+	filetypes = { "vhdl" },
+	root_markers = { "vhdl_ls.toml", ".git" },
+	settings = {},
+})