up su Gitea

2026-04-19 17:07:18 +02:00
parent e78ce720bb
commit fe54b28378
298 changed files with 23460 additions and 0 deletions
@@ -0,0 +1,12 @@
+return {
+
+  {
+    "isovector/cornelis",
+    name = "cornelis",
+    ft = "agda",
+    build = "stack install",
+    dependencies = { "neovimhaskell/nvim-hs.vim", "kana/vim-textobj-user" },
+    version = "*",
+    enabled = true,
+  },
+}