chg: 2 space tabs in Haskell files, and some desc change

laptop/config/globals.lua

@@ -12,10 +12,22 @@ set.cmdheight = 0
 -- Ignore case while searching except when the search term contains capital letters
 set.ignorecase = true
 set.smartcase = true
--- Use 4 spaces and properly adjust them for files using TAB
+-- Use 4 spaces and properly adjust them for files using TAB,
-set.tabstop = 4
+-- except for Haskell
-set.shiftwidth = 4
+vim.api.nvim_create_autocmd("FileType", {
-set.softtabstop = 4
+    pattern = "*",
+    callback = function()
+        local tabsize
+        if string.find(" haskell ", ' ' .. vim.bo.filetype .. ' ') then
+            tabsize = 2
+        else
+            tabsize = 4
+        end
+        set.tabstop = tabsize
+        set.shiftwidth = tabsize
+        set.softtabstop = tabsize
+    end,
+})
 set.expandtab = true
 -- Show LSP signs in the number column
 set.signcolumn = 'number'

laptop/plugin/lsp_config.lua

@@ -20,6 +20,7 @@ lspconfig.lua_ls.setup({
 })
 
 lspconfig.ocamllsp.setup {}
+
 lspconfig.hls.setup {}
 
 -- Set ;k to hover and ;a to show code actions

laptop/plugin/misc.lua

@@ -1,4 +1,5 @@
--- This file lists all the plugins that need to be initiated to default setup
+-- This file has configs for things that are not really related to anything else,
+-- so don't really deserve to be put in a separate config file
 
 -- Default settings for comment plugin
 require("Comment").setup()

server/plugin/misc.lua

@@ -1,4 +1,5 @@
--- This file lists all the plugins that need to be initiated to default setup
+-- This file has configs for things that are not really related to anything else,
+-- so don't really deserve to be put in a separate config file
 
 -- Default settings for comment plugin
 require("Comment").setup()

vps/plugin/misc.lua

@@ -1,4 +1,5 @@
--- This file lists all the plugins that need to be initiated to default setup
+-- This file has configs for things that are not really related to anything else,
+-- so don't really deserve to be put in a separate config file
 
 -- Default settings for comment plugin
 require("Comment").setup()