What does the Idris icon mean?

The IDRIS icon represents the Idris programming language. It symbolizes a functional programming language with a strong focus on type systems.

Where is the Idris icon used?

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.

What does the Idris icon tell users?

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.

Can I download the Idris icon as SVG or PNG?

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.

How do I install the Idris icon with the shadcn CLI?

Sign in (it's free), then open Get icon, Install with shadcn CLI, and pick your package manager to copy the command. It adds the icon to components/icons/material-icon-theme-idris.tsx.

How do I use the Idris icon in Next.js or React?

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. It works in Next.js and any React app.

How do I use the Idris icon in Vue, Svelte or Angular?

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.

Can my AI agent install it for me?

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.

Can I use the Idris icon in commercial projects?

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.

Is the Idris icon free?

Yes. Copying and downloading it is free, and the shadcn CLI install only needs a free account.

How do I change the color of the Idris icon?

It's multicolor, so it keeps its own colors.

How do I change the size of the Idris icon?

Set width and height on the component, or a class like size-6. It's drawn on a 16 × 16 grid, so it stays sharp at any size. Customize also sets the size it exports at, its padding and rotation.

How do I make the Idris icon accessible?

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.

Idris

The IDRIS icon represents the Idris programming language.

Add shadcn.io to your AI agent. · Pro It installs Idris, or any of 294k icons, from a prompt, with Pro.

Set up MCP

Exports at 24 × 24 px

Get Pro

1,136 in Material Icon Theme MIT license (opens in a new tab)Free to copy and download

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

Icons that share its tags, in the same style.

All 1,136 icons

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 Pro

Browse by tag

Idris is tagged programming, language, system and 2 more. Related tags follow; each opens its icons from every library.

All tags

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.

See full pricing

4.9/5 out of 5 · 150+ reviewsfrom 150+ founders and developers.

Billing

Billed once a year in USD. Cancel anytime.

How many people can use the license.
Client work, SaaS products and anything you charge for.
Production-ready React sections: hero, pricing, features, dashboards and more.
Complete multi-page sites you can ship as they are.
React icons from every major library, installable with one command.
Presets that restyle every block, in light and dark.
Lets your AI editor search, preview and install blocks for you.
Priority requests are answered first.

Individual

For personal projects & open source

$32instead of $49/mo

$389 billed yearly

Seats: 1 seat
Commercial use: Personal & open source only
Pro blocks: 6,000+ blocks
Templates: All 14 templates
React icons: 294k+ icons
Themes: All 59 themes
MCP server: Basic usage
Support: Standard

Team

Organization

For companies with larger teams

$132instead of $199/mo

$1,589 billed yearly

Seats: Unlimited seats
Commercial use: Included
Pro blocks: 6,000+ blocks
Templates: All 14 templates
React icons: 294k+ icons
Themes: All 59 themes
MCP server: Unlimited usage
Support: Priority

Billed once a year in USD. Cancel anytime.

Individual

For personal projects & open source

$32instead of $49/mo

$389 billed yearly

How many people can use the license.Seats: 1 seat
Client work, SaaS products and anything you charge for.Commercial use: Personal & open source only
Production-ready React sections: hero, pricing, features, dashboards and more.Pro blocks: 6,000+ blocks
Complete multi-page sites you can ship as they are.Templates: All 14 templates
React icons from every major library, installable with one command.React icons: 294k+ icons
Presets that restyle every block, in light and dark.Themes: All 59 themes
Lets your AI editor search, preview and install blocks for you.MCP server: Basic usage
Priority requests are answered first.Support: Standard

Team

Organization

For companies with larger teams

$132instead of $199/mo

$1,589 billed yearly

Everything in Team, plus

How many people can use the license.Seats: Unlimited seats
Lets your AI editor search, preview and install blocks for you.MCP server: Unlimited usage

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 and license it.

Install Idris from a prompt

MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.

Get Pro

Idris

Idris in your framework

Idris in 1 more libraries

More like it

Browse by tag

Material Icon Theme MCP, with Pro

Individual

Team

Organization

Individual

Team

Organization

Frequently asked questions

What does the Idris icon mean?

Where is the Idris icon used?

What does the Idris icon tell users?

How do I install the Idris icon with the shadcn CLI?

How do I use the Idris icon in Next.js or React?

How do I use the Idris icon in Vue, Svelte or Angular?

Can my AI agent install it for me?

How do I change the color of the Idris icon?

How do I change the size of the Idris icon?

How do I make the Idris icon accessible?

Can I download the Idris icon as SVG or PNG?

Can I use the Idris icon in commercial projects?

Is the Idris icon free?

Install Idris from a prompt