From 83497a2cead7a8f6cd02e264df86a5c511fbcb3d Mon Sep 17 00:00:00 2001
From: Ivan Vasilev <20002mc@gmail.com>
Date: Sun, 31 May 2026 14:55:53 +0300
Subject: [PATCH] feat: new icon: idris (original)

---
 devicon.json                   | 18 ++++++++++++++++++
 icons/idris/idris-original.svg |  5 +++++
 2 files changed, 23 insertions(+)
 create mode 100644 icons/idris/idris-original.svg

diff --git a/devicon.json b/devicon.json
index bd63e95a5..c068245e3 100644
--- a/devicon.json
+++ b/devicon.json
@@ -6053,6 +6053,24 @@
         },
         "color": "#00c6e2",
         "aliases": []
+    },
+	{
+        "name": "idris",
+        "altnames": ["idris2"],
+        "tags": [
+			"language", 
+			"functional"
+		],
+        "versions": {
+            "svg": [
+				"original",
+			],
+            "font": [
+				"original",
+			]
+        },
+        "color": "#8a0819",
+        "aliases": []
     },
     {
         "name": "ie10",
diff --git a/icons/idris/idris-original.svg b/icons/idris/idris-original.svg
new file mode 100644
index 000000000..352ad6f66
--- /dev/null
+++ b/icons/idris/idris-original.svg
@@ -0,0 +1,5 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32">
+  <path fill="#8a0819" d="M13.376 6.2c3.6 1.1 4.5 2 5.8 5.2-.3-4-1.9-5.6-5.8-5.2m-5 6.2c2.3.7 5 1.3 6 5.7.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7 5.7 1.7 7 6.2.3-5.8-2.9-6.4-7-6.2"/>
+  <path fill="#8a0819" d="M14.576 2c19.1 12.4-4.2 12.7.8 27.1l3 .9c-8.3-11.2 18.4-17-3.8-28"/>
+</svg>
+