nvim

user/config/nvim/default.nix

@@ -25,18 +25,18 @@
       nvim-colorizer-lua
       lazydev-nvim
       Coqtail
-      neorg
+      plenary-nvim
+      typst-preview-nvim
       (pkgs.vimUtils.buildVimPlugin {
         pname = "undotree";
-        version = "2024-2-9";
+        version = "2026-1-25";
         src = pkgs.fetchFromGitHub {
           owner = "jiaoshijie";
           repo = "undotree";
-          rev = "eab459ab87dd249617b5f7187bb69e614a083047";
+          rev = "ac02e6055fc2b9a5d904e40eb3d943c8dc2cad01";
-          sha256 = "sha256-FIYDyfkaIS9C16ClWKLMdpSPv/OrcOalVVsyFJBU2eI=";
+          sha256 = "sha256-Sb8tlFROVEuHgXgHViS8eFiWZzjVh2ZNzyZuQdFFkq0=";
         };
         meta.homepage = "https://github.com/jiaoshijie/undotree";
-        buildInputs = [plenary-nvim];
       })
     ];
     extraPackages = with pkgs; [
@@ -46,6 +46,7 @@
       nixd
       lua-language-server
       zls
+      tinymist
     ];
     withRuby = false;
     withPython3 = true;

user/config/nvim/lua/u/bindings.lua

@@ -10,7 +10,13 @@ map('n', '<leader>h', '<cmd>sp<cr>', {desc = "split [H]orizontal"})
 map('n', 'q:', '<nop>')
 map('n', '<leader>cd', vim.diagnostic.open_float, {desc = "[C]ode [D]iagnostic"})
 map('n', 'x', '"_x')
-map('n', '<down>', '<cmd>CoqNext<cr>')
+
-map('n', '<up>', '<cmd>CoqUndo<cr>')
+vim.api.nvim_create_autocmd('FileType', {
-map('i', '<c-a-j>', '<cmd>CoqNext<cr>')
+  pattern = { 'coq' },
-map('i', '<c-a-k>', '<cmd>CoqUndo<cr>')
+  callback = function ()
+    map('n', '<down>', '<cmd>CoqNext<cr>')
+    map('n', '<up>', '<cmd>CoqUndo<cr>')
+    map('i', '<c-a-j>', '<cmd>CoqNext<cr>')
+    map('i', '<c-a-k>', '<cmd>CoqUndo<cr>')
+  end
+})

user/config/nvim/lua/u/plugins/init.lua

@@ -18,7 +18,10 @@ require('gitsigns').setup({
   },
 })
 
-require('nvim-treesitter.configs').setup({ highlight = { enable = true } })
+vim.api.nvim_create_autocmd('FileType', {
+  pattern = { 'python' },
+  callback = function() vim.treesitter.start() end,
+})
 
 require('mini.files').setup({
   windows = { preview = true }
@@ -50,11 +53,3 @@ require('undotree').setup({
   }
 })
 require('lazydev').setup()
-
-require('neorg').setup({
-  lazy_loading = true,
-  load = {
-    ["core.defaults"] = {},
-    ["core.concealer"] = {},
-  }
-})

user/config/nvim/lua/u/plugins/lsp.lua

@@ -55,6 +55,7 @@ vim.lsp.enable("pyright")
 vim.lsp.enable("nixd")
 vim.lsp.enable("lua_ls")
 vim.lsp.enable("zls")
+vim.lsp.enable("tinymist")
 
 vim.lsp.config("clangd",{
   cmd = {

user/prog.nix

@@ -25,6 +25,7 @@ lib.mkIf config.u.has.prog {
       pyp
       coq_8_20
       zig
+      typst
     ]
     ++ lib.optionals config.u.has.graphical [
       (cutter.withPlugins (ps: with ps; [jsdec rz-ghidra sigdb]))