new icon: idris (original)

cl1ckname · cl1ckname · commit 522f1da41f87 · 2026-05-31T14:45:57.000+03:00
diff --git 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
@@ -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>
+
