Idris
The IDRIS icon represents the Idris programming language.
Exports at 24 × 24 px
Code
Idris in your framework
In any framework. Customize it above, and the code follows.
export const IdrisIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 200 200" {...props}>
<g fill="#f44336"><path d="M103.07 189.451c-7.937-2.666-8.004-2.718-9.763-7.517c-.974-2.657-2.302-9.039-2.952-14.18c-.997-7.897-.931-10.755.422-18.392c2.778-15.674 9.623-27.676 27.672-48.52c20.87-24.103 24.51-32.428 20.238-46.29c-3.656-11.866-13.458-22.97-33.613-38.078c-12.915-9.68-13.458-10.303-5.013-5.736c22.554 12.196 40.365 27.413 46.375 39.621c4.182 8.495 5.13 17.92 2.664 26.458c-2.622 9.076-7.402 17.316-21.141 36.448c-18.697 26.035-24.133 38.641-23.165 53.723c.411 6.41 1.147 8.82 5.004 16.396c5.204 10.22 5.321 10.114-6.728 6.066zm-16.791-83.413c-4.28-13.575-13.604-22.609-29.213-28.302c-4.127-1.505-7.504-2.968-7.504-3.25c0-1.027 18.939.848 22.98 2.274c10.092 3.56 15.043 10.936 15.799 23.537c.643 10.726.039 12.409-2.063 5.742zm16.539-21.356c-6.047-16.401-16.159-25.681-33.756-30.981c-9.46-2.849-9.054-3.744 1.347-2.967c20.536 1.534 29.413 7.298 33.642 21.846c.953 3.279 1.488 8.121 1.31 11.864l-.299 6.323zM116.189 59.8c-5.02-11.521-12.108-17.947-25.873-23.454c-5.394-2.158-6.8-3.084-5.48-3.608c2.477-.983 14.766.98 19.144 3.058c4.914 2.332 11.082 9.558 13.024 15.26c1.553 4.56 3.246 15.212 2.416 15.212c-.228 0-1.682-2.91-3.232-6.467z"/><path d="M94.58 7.497c-.085-.009-.186-.028-.357.057s-.319.377-.303.54c.03.328.15.375.258.499c.434.497 1.427 1.302 3.168 2.654c1.74 1.352 4.196 3.206 7.425 5.627c20.123 15.084 29.828 26.115 33.436 37.824c2.116 6.866 2.271 12.23-.671 18.96s-9.042 14.816-19.467 26.856c-18.07 20.87-24.992 32.99-27.787 48.76c-1.357 7.655-1.426 10.628-.426 18.541c.653 5.175 1.966 11.528 2.978 14.291c.88 2.401 1.386 3.746 2.73 4.781c1.346 1.036 3.376 1.704 7.345 3.037c3.011 1.012 5.263 1.78 6.898 2.207c.818.214 1.479.346 2.031.373s1.038-.04 1.399-.365c.36-.325.449-.832.39-1.336s-.244-1.077-.53-1.779c-.57-1.404-1.556-3.311-2.857-5.865c-3.85-7.56-4.541-9.822-4.95-16.201c-.48-7.473.617-14.292 4.167-22.525s9.565-17.87 18.904-30.875c13.747-19.142 18.572-27.446 21.217-36.6c2.504-8.666 1.536-18.22-2.697-26.818c-6.11-12.412-23.974-27.614-46.584-39.84c-2.114-1.143-3.663-1.961-4.625-2.406c-.48-.223-.753-.36-1.092-.397m2.588 2.3c.832.43 1.427.72 2.652 1.382c22.498 12.165 40.254 27.397 46.164 39.402c4.13 8.39 5.063 17.686 2.633 26.098c-2.6 8.998-7.337 17.174-21.068 36.295c-9.358 13.03-15.41 22.713-19.01 31.062s-4.736 15.376-4.248 22.986c.413 6.44 1.193 9 5.059 16.59c1.301 2.556 2.282 4.465 2.82 5.789c.269.662.423 1.18.463 1.52c.04.339-.014.429-.067.476c-.052.047-.251.129-.68.107c-.427-.02-1.041-.134-1.826-.34c-1.569-.41-3.82-1.175-6.834-2.187c-3.967-1.333-5.94-2.024-7.052-2.88s-1.522-1.937-2.4-4.335c-.936-2.553-2.281-8.963-2.926-14.072c-.995-7.878-.933-10.622.418-18.24c2.76-15.578 9.53-27.46 27.559-48.28c10.444-12.063 16.6-20.188 19.627-27.112s2.866-12.656.71-19.652c-3.703-12.022-13.603-23.199-33.79-38.33c-3.228-2.42-5.683-4.273-7.413-5.617c-.452-.351-.435-.374-.79-.66zm-8.889 22.212c-1.594-.08-2.825-.056-3.629.264c-.202.08-.382.172-.539.334s-.27.44-.23.689c.078.499.43.742.9 1.05c.94.62 2.64 1.381 5.346 2.464c13.695 5.48 20.624 11.764 25.602 23.189a101 101 0 0 0 2.121 4.591c.296.592.55 1.073.754 1.419c.101.172.188.31.273.423c.043.057.083.108.143.164s.119.17.398.17a.65.65 0 0 0 .59-.43a1.6 1.6 0 0 0 .106-.488c.035-.352.028-.8-.006-1.35c-.068-1.097-.252-2.58-.51-4.206c-.517-3.254-1.326-7.059-2.123-9.399c-2.005-5.885-8.154-13.117-13.283-15.55c-2.298-1.091-6.463-2.087-10.42-2.72c-1.979-.315-3.898-.535-5.492-.615zm-.05.998c1.542.077 3.434.294 5.384.605c3.901.623 8.07 1.648 10.15 2.635c4.699 2.23 10.886 9.451 12.766 14.97c.757 2.219 1.57 6.02 2.08 9.232c.255 1.606.436 3.071.5 4.113c.007.12-.002.165.002.273c-.123-.231-.22-.396-.367-.691c-.58-1.16-1.328-2.771-2.1-4.543c-5.06-11.617-12.31-18.186-26.144-23.721c-2.688-1.075-4.388-1.854-5.17-2.37c-.302-.198-.324-.264-.356-.284c.023-.012.015-.012.045-.024c.434-.172 1.666-.272 3.21-.195m-23.76 16.96c-.692.01-1.23.047-1.643.12c-.207.037-.381.08-.545.152c-.164.073-.346.177-.453.413c-.107.235-.034.526.074.687s.24.268.396.377c.313.218.743.429 1.325.672c1.162.486 2.918 1.076 5.29 1.79c17.495 5.27 27.427 14.388 33.433 30.677l2.244 6.084l.969-.149l.298-6.324c.18-3.81-.354-8.668-1.33-12.025c-2.136-7.347-5.49-12.562-10.914-16.084s-12.863-5.35-23.172-6.12c-2.607-.196-4.59-.288-5.972-.268zm.015 1c1.324-.018 3.29.07 5.883.265c10.227.764 17.496 2.584 22.7 5.964c5.206 3.38 8.406 8.323 10.499 15.523c.93 3.2 1.467 8.025 1.293 11.7l-.184 3.865l-1.392-3.776c-6.089-16.513-16.38-25.956-34.08-31.287c-2.357-.71-4.099-1.299-5.196-1.758c-.39-.163-.592-.283-.81-.406c.317-.044.712-.082 1.287-.09m-11.889 22.74c-.93-.027-1.696-.022-2.258.025a3.5 3.5 0 0 0-.71.116a1 1 0 0 0-.311.148a.65.65 0 0 0-.258.49c0 .267.116.349.18.414c.063.066.121.109.187.155c.132.091.292.183.492.289c.402.21.96.47 1.647.767c1.373.595 3.255 1.338 5.326 2.094c15.509 5.656 24.672 14.547 28.908 27.984c.53 1.68.956 2.83 1.34 3.518c.192.343.317.624.738.752a.76.76 0 0 0 .656-.155a1 1 0 0 0 .274-.445c.227-.632.276-1.624.275-3.203c0-1.58-.085-3.702-.246-6.389c-.382-6.36-1.825-11.449-4.482-15.408s-6.525-6.762-11.648-8.57c-1.094-.386-3.031-.763-5.387-1.125s-5.108-.699-7.736-.96s-5.128-.443-6.987-.497m-.03 1c1.82.053 4.307.236 6.919.494c2.612.259 5.35.593 7.681.951c2.332.359 4.28.753 5.207 1.08c4.968 1.753 8.62 4.417 11.15 8.186s3.94 8.667 4.315 14.908q.241 4.013.244 6.33c0 1.235-.09 1.828-.174 2.291c-.296-.583-.677-1.54-1.156-3.059c-4.323-13.713-13.809-22.894-29.518-28.623c-2.056-.75-3.927-1.489-5.273-2.072c-.431-.187-.7-.322-1.01-.47c.46-.019.93-.036 1.615-.016"/></g>
</svg>
);Other libraries
Idris in 1 more libraries
Each library draws it its own way. Open one to compare.
Material Icon Theme
More like it
Icons that share its tags, in the same style.
Search Material Icon Theme
Skip the copy and paste. With Pro, your AI agent finds and installs any Material Icon Theme icon from a prompt.
Get ProTags
Browse by tag
Idris is tagged programming, language, system and 2 more. Related tags follow; each opens its icons from every library.
Pricing
Material Icon Theme MCP, with Pro
Ask for Idris or any of 1,136 Material Icon Theme icons and your agent installs it. The MCP comes with every Pro plan, with 6,000+ blocks and 14 premium templates. The icons stay free.
4.9/5 out of 5 · 150+ reviewsfrom 150+ founders and developers.
- Secure checkout via Stripe
- Code lives in your repo
- Keep what you've shipped if you cancel
- License terms
FAQ
Frequently asked questions
What the Idris icon means and where it's used, then how to install, style, label and license it.
The IDRIS icon represents the Idris programming language. It symbolizes a functional programming language with a strong focus on type systems.
In software and platforms, the IDRIS icon appears in programming tools, such as code editors, and may be used in applications related to functional programming.
From a UX perspective, the IDRIS icon communicates the idea of functional programming and type systems. It helps users understand that a particular feature or service is related to programming concepts.
Idris is one of 1,136 icons in Material Icon Theme, made by Material Extensions and released under MIT. It is drawn on a 200 × 200 grid.
Sign in (it's free), then open Get icon, Install with shadcn CLI, and pick your package manager to copy the command. It adds IdrisIcon to components/icons/material-icon-theme-idris.tsx: one file, a size prop (24 by default) and every SVG prop, with no icon package.
Copy it as React (from Get icon, or the Code section): a typed IdrisIcon component you paste into your project, with no package to install. Only the icons you import reach your bundle. It works in Next.js and any React app.
Open Get icon, then Copy as code, and pick Vue, Svelte, Angular, Solid or Preact; the Code section shows each one too. Every version is one self-contained component with the SVG inside, and SVG and data URL copies are there for plain HTML and CSS.
With Pro, the shadcn.io MCP server lets Claude Code, Cursor or any MCP client find the Idris icon, or any of 1,136 Material Icon Theme icons, and install it from a prompt.
It's multicolor, so it keeps its own colors.
Set width and height on the component, or a class like size-6. It's drawn on a 200 × 200 grid, so it stays sharp at any size. Customize also sets the size it exports at, its padding and rotation.
Yes. It keeps its own colors in light and dark mode, so check it against both backgrounds. The icon is a vector, so it needs no separate dark asset.
Next to a visible label it's decoration: add aria-hidden="true" so screen readers skip it. Standing alone, as in an icon button, give the button a name instead, like aria-label="Idris", so screen readers say what it does.
Yes. IdrisIcon passes every SVG prop to the svg element, so <IdrisIcon aria-hidden="true" /> works, and so do role="img" with aria-label, or a title child, when it carries meaning on its own.
Yes. Open Get icon, then Download file: SVG for code or design tools like Figma; PNG, WebP or JPEG at 512px; or an ICO favicon with 16, 32 and 48px inside. Each one uses what you set in Customize.
Yes. MIT allows commercial use; keep the license notice when you ship the icons' source files. The full terms are in the license, linked on this page.
No visible credit is required: MIT only asks that you keep the license notice if you ship the icons' source files. Icons installed with the shadcn CLI already start with a comment naming Material Icon Theme, Material Extensions and the license.
Yes. Copying and downloading it is free, and the shadcn CLI install only needs a free account.
1 other library draws an icon called Idris. The Other libraries section on this page shows each one, so you can compare them and open the one that fits your style.
Its tags are programming, language, system, type and functional. Each tag page lists the icons that carry it from every library, which is the quickest way to find a match for Idris in another set.
4.9 out of 5 from 150+ developers
Install Idris from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.
Get Pro