From 400742f8a94e3d4c197411f04203a180ad01b586 Mon Sep 17 00:00:00 2001
From: ulic-youthlic <ulic.youthlic@gmail.com>
Date: Sun, 13 Jul 2025 06:04:55 +0800
Subject: [PATCH] pkg(nixvim): Add idris2 language configuration

---
 pkgs/nixvim/lang/idris2.nix | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 pkgs/nixvim/lang/idris2.nix

diff --git a/pkgs/nixvim/lang/idris2.nix b/pkgs/nixvim/lang/idris2.nix
new file mode 100644
index 0000000..53e6fa8
--- /dev/null
+++ b/pkgs/nixvim/lang/idris2.nix
@@ -0,0 +1,9 @@
+{pkgs, ...}: {
+  extraPackagesAfter = with pkgs; [idris2Packages.idris2Lsp];
+  lsp.servers.idris2 = {
+    enable = true;
+  };
+  youthlic.plugins.idris2 = {
+    enable = true;
+  };
+}