From 46130df831cd1272cf8c9a8ad7688f4e9d0e30eb 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 | 4 ++++ 2 files changed, 22 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..29b238433 --- /dev/null +++ b/icons/idris/idris-original.svg @@ -0,0 +1,4 @@ + + + +