cleanup unused plugins

nvim/.config/nvim/after/ftplugin/c.lua

@@ -1 +1,3 @@
 vim.opt.expandtab = false
+vim.opt.shiftwidth = 8
+vim.opt.tabstop = 8

nvim/.config/nvim/after/ftplugin/haskell.lua

@@ -1,13 +0,0 @@
-require('haskell-tools').lsp.start()
-
-local ht = require('haskell-tools')
-local bufnr = vim.api.nvim_get_current_buf()
-local opts = { noremap = true, silent = true, buffer = bufnr, }
-vim.keymap.set('n', '<space>cl', vim.lsp.codelens.run, opts)
-vim.keymap.set('n', '<space>hs', ht.hoogle.hoogle_signature, opts)
-vim.keymap.set('n', '<space>ea', ht.lsp.buf_eval_all, opts)
-vim.keymap.set('n', '<leader>rr', ht.repl.toggle, opts)
-vim.keymap.set('n', '<leader>rf', function()
-  ht.repl.toggle(vim.api.nvim_buf_get_name(0))
-end, opts)
-vim.keymap.set('n', '<leader>rq', ht.repl.quit, opts)

nvim/.config/nvim/lua/options.lua

@@ -26,8 +26,6 @@ opt.linebreak = true
 opt.cursorline = true
 
 opt.foldmethod = 'marker'
--- opt.foldmethod = 'expr'
--- opt.foldexpr = 'nvim_treesitter#foldexpr()'
 
 vim.api.nvim_create_autocmd('TermOpen', {
     pattern = '*',

nvim/.config/nvim/lua/plugins/colors.lua

@@ -1,7 +1,8 @@
 return {
     {
-        'norcalli/nvim-colorizer.lua',
+        'catgoose/nvim-colorizer.lua',
-        config = true
+        event = 'BufReadPre',
+        opts = {},
     },
     {
         'catppuccin/nvim',
@@ -14,17 +15,4 @@ return {
             vim.cmd.colorscheme([[catppuccin-mocha]])
         end
     },
-    -- {
-    --     "Mofiqul/adwaita.nvim",
-    --     lazy = false,
-    --     priority = 1000,
-    --
-    --     -- configure and set on startup
-    --     config = function()
-    --         vim.g.adwaita_darker = true             -- for darker version
-    --         -- vim.g.adwaita_disable_cursorline = true -- to disable cursorline
-    --         vim.g.adwaita_transparent = true        -- makes the background transparent
-    --         vim.cmd('colorscheme adwaita')
-    --     end
-    -- }
 }

nvim/.config/nvim/lua/plugins/languages/haskell.lua

@@ -1,7 +0,0 @@
-return {
-    {
-        'mrcjkb/haskell-tools.nvim',
-        version = '^4',
-        lazy = false,
-    }
-}

nvim/.config/nvim/lua/plugins/languages/idris.lua

@@ -1,80 +0,0 @@
-return {
-    {
-        'idris-community/idris2-nvim',
-        event = { 'BufReadPre *.idr', 'BufNewFile *.idr' },
-        dependencies = {
-            'neovim/nvim-lspconfig',
-            'MunifTanjim/nui.nvim',
-            'folke/which-key.nvim'
-        },
-        config = function()
-            local wk = require('which-key')
-            local action = require('idris2.code_action')
-            local hover = require('idris2.hover')
-            local meta = require('idris2.metavars')
-            local browse = require('idris2.browse')
-            local repl = require('idris2.repl')
-
-            require('idris2').setup({
-                client = {
-                    hover = {
-                        use_split = false,
-                        split_size = '30%',
-                        auto_resize_split = false,
-                        split_position = 'bottom',
-                        with_history = true,
-                    },
-                },
-                -- autostart_semantic = true,
-                -- code_action_post_hook = save_hook,
-                -- use_default_semantic_hl_groups = true,
-                server = {
-                    init_options = {
-                        logFile = "~/.cache/idris2-lsp/server.log",
-                        longActionTimeout = 2000,
-                    },
-                    on_attach = function(...)
-                        wk.add({
-                            { '<leader>c', action.case_split, desc = 'Split case' },
-
-                            { '<leader>i', group = 'idris action' },
-                            { '<leader>ic', action.make_case, desc = 'Make case' },
-                            { '<leader>iw', action.make_with, desc = 'Make with' },
-                            { '<leader>il', action.make_lemma, desc = 'Make lemma' },
-                            { '<leader>ia', action.add_clause, desc = 'Add clause' },
-                            { '<leader>io', action.expr_search, desc = 'Expr search' },
-                            { '<leader>ig', action.generate_def, desc = 'Generate definition' },
-                            { '<leader>ir', action.refine_hole, desc = 'Refine hole' },
-                            { '<leader>ib', browse.browse, desc = 'Browse' },
-
-                            { '<leader>s', group = 'idris split' },
-                            { '<leader>so', hover.open_split, desc = 'Open' },
-                            { '<leader>sc', hover.close_split, desc = 'Close' },
-
-                            { '<leader>m', group = 'idris metavariables' },
-                            { '<leader>mm', meta.request_all, desc = 'Request all' },
-                            { '<leader>mn', meta.goto_next, desc = 'Next' },
-                            { '<leader>mp', meta.goto_prev, desc = 'Previous' },
-
-                            { '<leader>e', group = 'idris evaluate' },
-                            { '<leader>ee', repl.evaluate, desc = 'Expression' },
-                            {
-                                '<leader>ev',
-                                function() repl.evaluate({ visual = true}) end,
-                                desc = 'Visual selection',
-                                mode = 'v',
-                                group = 'idris evaluate'
-                            },
-                            {
-                                '<leader>er',
-                                function() repl.evaluate({ visual = true, sub = true}) end,
-                                desc = 'Replace selection',
-                                mode = 'v'
-                            },
-                        })
-                    end
-                }
-            })
-        end
-    }
-}

nvim/.config/nvim/lua/plugins/languages/lean.lua

@@ -1,16 +0,0 @@
-return {
-    {
-        'Julian/lean.nvim',
-        event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
-
-        dependencies = {
-            'neovim/nvim-lspconfig',
-            'nvim-lua/plenary.nvim',
-        },
-
-        opts = {
-            lsp = {},
-            mappings = true,
-        }
-    }
-}

nvim/.config/nvim/lua/plugins/languages/rust.lua

@@ -1,7 +0,0 @@
-return {
-    {
-        'mrcjkb/rustaceanvim',
-        version = '^5',
-        lazy = false
-    }
-}

nvim/.config/nvim/lua/plugins/languages/sml.lua

@@ -1,34 +0,0 @@
-return {
-    {
-        'jez/vim-better-sml',
-        config = function()
-            vim.g.sml_smlnj_executable = 'smlnj'
-        end,
-        keys = {
-            {
-                '<leader>rs',
-                [[:SMLReplStart<CR>]],
-                desc = 'SML start repl',
-                ft = 'sml'
-            },
-            {
-                '<leader>rc',
-                [[:SMLReplClear<CR>]],
-                desc = 'SML clear repl',
-                ft = 'sml'
-            },
-            {
-                '<leader>rb',
-                [[:SMLReplBuild<CR>]],
-                desc = 'SML load current file/CM project in repl',
-                ft = 'sml'
-            },
-            {
-                '<leader>ro',
-                [[:SMLReplOpen<CR>]],
-                desc = 'SML open current structure in repl',
-                ft = 'sml'
-            },
-        }
-    }
-}

nvim/.config/nvim/lua/plugins/languages/zig.lua

@@ -1,28 +0,0 @@
-return {}
--- return {
---     {
---         "jinzhongjia/zig-lamp",
---         event = "VeryLazy",
---         build = ":ZigLamp build sync",
---         dependencies = {
---             "neovim/nvim-lspconfig",
---             "nvim-lua/plenary.nvim",
---         },
---         init = function()
---             -- Timeout in milliseconds for automatic ZLS installation
---             -- Set to nil to disable auto-install
---             vim.g.zig_lamp_zls_auto_install = nil
---
---             -- Fallback to system ZLS if local version not found
---             -- Set to any non-negative value to enable
---             vim.g.zig_lamp_fall_back_sys_zls = nil
---
---             -- LSP configuration options passed to lspconfig
---             vim.g.zig_lamp_zls_lsp_opt = {}
---
---             -- UI customization
---             vim.g.zig_lamp_pkg_help_fg = "#CF5C00"
---             vim.g.zig_lamp_zig_fetch_timeout = 5000
---         end,
---     }
--- }

nvim/.config/nvim/lua/plugins/lsp.lua

@@ -5,29 +5,6 @@ return {
             local capabilities = require('cmp_nvim_lsp').default_capabilities()
             local wk = require('which-key')
 
-            vim.lsp.enable('ocamllsp')
-            vim.lsp.config('ocamllsp', {
-                capabilities = capabilities
-            })
-
-            vim.lsp.enable('tinymist')
-            vim.lsp.config('tinymist', {
-                settings = {
-                    formatterMode = "typstyle",
-                    exportPdf = "onType",
-                    semanticTokens = "disable",
-                }
-            })
-
-            vim.lsp.enable('millet')
-            vim.lsp.config('millet', {
-                root_dir = function(fname)
-                    local util = vim.lsp.config.util
-                    return util.root_pattern(".cm", ".mlb")(fname)
-                        or util.path.dirname(fname)
-                end
-            })
-
             vim.lsp.enable('clangd')
             vim.lsp.config('clangd', {
                 capabilities = capabilities
@@ -60,24 +37,12 @@ return {
             })
         end,
         dependencies = {
-            'ray-x/lsp_signature.nvim',
             'hrsh7th/nvim-cmp',
         }
     },
-    {
-        'ray-x/lsp_signature.nvim',
-        event = 'VeryLazy',
-        opts = {
-            hind_prefix = 'λ ',
-        },
-    },
     {
         'j-hui/fidget.nvim',
         config = true,
         event = 'VeryLazy',
     },
-    {
-        'onsails/lspkind.nvim',
-        event = 'VeryLazy',
-    }
 }

nvim/.config/nvim/lua/plugins/ui.lua

@@ -1,8 +1,4 @@
 return {
-    {
-        'stevearc/dressing.nvim',
-        opts = {},
-    },
     {
         "nvim-neo-tree/neo-tree.nvim",
         branch = "v3.x",