File Type Idrisbin
The file-type-idrisbin icon represents an Idris binary file, used in software development.
Exports at 24 × 24 px
Code
File Type Idrisbin in your framework
In any framework. Customize it above, and the code follows.
export const FileTypeIdrisbinIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 32 32" {...props}>
<path fill="#8a0819" d="M10.376 6.2c3.6 1.1 4.5 2 5.8 5.2c-.3-4-1.9-5.6-5.8-5.2m-5 6.2c2.3.7 5 1.3 6 5.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7 5.7 1.7 7 6.2c.3-5.8-2.9-6.4-7-6.2"/><path fill="#8a0819" d="M11.576 2c19.1 12.4-4.2 12.7.8 27.1l3 .9c-8.3-11.2 18.4-17-3.8-28"/><path fill="#8a0819" d="M20.677 29.839a1 1 0 0 1-.07-.287c0-.116-.3-.253-.441-.2a.5.5 0 0 0-.172.249c-.063.166-.117.209-.243.191s-.168-.075-.2-.337s-.066-.325-.22-.379s-.212-.034-.386.16s-.215.215-.335.127s-.123-.127-.052-.331s.062-.253-.035-.362c-.153-.169-.314-.163-.547.021c-.175.137-.2.14-.3.038s-.1-.133.021-.36c.133-.247.133-.248-.022-.4s-.175-.148-.41-.063s-.269.077-.366-.019s-.1-.125.043-.275a.413.413 0 0 0 .058-.574c-.077-.106-.132-.115-.345-.056c-.176.049-.276.046-.329-.007c-.124-.124-.092-.213.151-.414c.222-.184.226-.195.12-.386a.315.315 0 0 0-.316-.2c-.439 0-.518-.253-.137-.435c.188-.09.246-.16.246-.3a.313.313 0 0 0-.358-.352a.218.218 0 0 1-.23-.316a.2.2 0 0 1 .178-.105c.253 0 .409-.134.409-.352c0-.171-.044-.225-.251-.312s-.246-.138-.228-.264s.072-.163.324-.181s.317-.056.384-.2c.075-.164.061-.2-.151-.375c-.178-.148-.222-.229-.186-.341c.053-.168.063-.17.371-.082c.175.05.252.041.333-.04a.384.384 0 0 0-.035-.551c-.158-.143-.164-.169-.075-.311c.055-.086.105-.087.353-.005c.271.089.3.086.443-.057s.152-.154.019-.4c-.125-.231-.126-.256-.017-.365s.131-.106.326.038c.258.191.368.194.531.014a.23.23 0 0 0 .046-.319c-.111-.244-.1-.3.058-.382c.117-.062.171-.039.334.143s.216.209.383.146s.192-.12.21-.373s.049-.305.176-.323s.184.037.267.2c.1.184.148.216.332.2s.229-.06.3-.3c.056-.2.12-.287.226-.3s.16.029.211.246c.057.242.086.269.317.288s.26 0 .338-.232c.066-.2.116-.249.235-.232s.156.077.173.267c.039.445.454.576.67.21s.429-.247.431.243c0 .24.028.288.194.347s.221.041.39-.121s.216-.176.319-.1s.113.111.018.337c-.107.257-.093.314.117.479c.108.085.157.08.368-.033c.226-.121.252-.123.359-.016s.1.129-.035.306c-.187.237-.188.326-.007.49c.126.114.173.119.386.042c.411-.149.525.082.205.416c-.159.166-.169.207-.094.372s.128.186.392.186c.381 0 .484.165.226.362c-.33.252-.336.26-.282.46c.043.162.1.2.328.23s.276.059.276.208s-.05.187-.227.238c-.41.118-.394.57.024.648c.215.04.243.069.224.23s-.062.19-.3.219s-.285.068-.328.229q-.084.32.292.439a.16.16 0 0 1 .122.2c-.017.12-.073.154-.267.163l-.335.018c-.049 0-.121.09-.16.193c-.06.158-.044.214.107.372c.2.2.217.287.1.4c-.054.054-.146.054-.315 0c-.2-.061-.262-.052-.38.054c-.177.16-.176.21.008.469c.138.194.141.218.035.324s-.13.105-.318-.006c-.268-.158-.4-.152-.523.027c-.09.129-.09.177 0 .393s.092.254-.024.339s-.152.069-.32-.091s-.222-.174-.386-.116s-.193.1-.193.367c0 .189-.039.323-.105.365c-.159.1-.192.086-.327-.142a.34.34 0 0 0-.311-.21c-.234 0-.327.109-.356.421c-.018.186-.059.25-.169.266s-.171-.042-.258-.263c-.164-.417-.5-.377-.644.078c-.1.3-.3.346-.391.1Zm-.2-1.485c.109-.1.128-.229.128-.865v-.749l-.353-.165a1.8 1.8 0 0 1-.43-.258a.35.35 0 0 0-.238-.092a3.2 3.2 0 0 0-1.295.792c-.1.169-.091.2.043.38a4 4 0 0 0 1.881 1.07a.45.45 0 0 0 .265-.113Zm2.41-.193a2.6 2.6 0 0 0 1.125-.889c.071-.222-.126-.444-.671-.758c-.521-.3-.769-.354-.9-.2a1.8 1.8 0 0 1-.43.258l-.353.165v.737c.002 1.11.176 1.207 1.231.686Zm-1.327-2.109a1.53 1.53 0 0 0 .9-.788a1.74 1.74 0 0 0 .019-1.163a1.69 1.69 0 0 0-1.345-.892a1.47 1.47 0 0 0 0 2.938a2.2 2.2 0 0 0 .427-.096Zm-3.05-.44l.537-.309l-.011-.636l-.011-.636l-.62-.353c-.529-.3-.648-.343-.807-.287c-.29.1-.38.472-.347 1.442c.028.851.079 1 .369 1.11c.18.066.234.046.891-.332Zm6.2.322c.241-.11.32-.429.315-1.287c0-.84-.1-1.164-.359-1.256c-.162-.057-.276-.015-.807.292l-.619.358l-.005.6a3 3 0 0 0 .035.658a10 10 0 0 0 1.248.716a2 2 0 0 0 .193-.081Zm-4.878-2.9a3 3 0 0 1 .427-.269l.312-.165l.02-.741c.023-.873-.043-1.005-.475-.948a3.5 3.5 0 0 0-1.837 1.134c-.115.252.023.422.627.774c.582.339.747.381.927.215Zm3.529-.212c.6-.352.741-.524.626-.776a3.5 3.5 0 0 0-1.837-1.134c-.433-.058-.5.074-.475.953l.02.747l.281.132a3 3 0 0 1 .448.264c.239.186.333.167.938-.186Z"/>
</svg>
);VSCode Icons
More like it
Icons that share its tags, in the same style.
Search VSCode Icons
Skip the copy and paste. With Pro, your AI agent finds and installs any VSCode Icons icon from a prompt.
Get ProTags
Browse by tag
File Type Idrisbin is tagged file, development, programming and 2 more. Related tags follow; each opens its icons from every library.
Pricing
VSCode Icons MCP, with Pro
Ask for File Type Idrisbin or any of 1,426 VSCode Icons 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 File Type Idrisbin icon means and where it's used, then how to install, style, label and license it.
The file-type-idrisbin icon represents an Idris binary file, used in software development.
File Type Idrisbin is one of 1,426 icons in VSCode Icons, made by Roberto Huertas and released under MIT. It is drawn on a 32 × 32 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 FileTypeIdrisbinIcon to components/icons/vscode-icons-file-type-idrisbin.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 FileTypeIdrisbinIcon 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 File Type Idrisbin icon, or any of 1,426 VSCode Icons 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 32 × 32 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="File Type Idrisbin", so screen readers say what it does.
Yes. FileTypeIdrisbinIcon passes every SVG prop to the svg element, so <FileTypeIdrisbinIcon 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 VSCode Icons, Roberto Huertas and the license.
Yes. Copying and downloading it is free, and the shadcn CLI install only needs a free account.
Its tags are file, development, programming, coding and binary. Each tag page lists the icons that carry it from every library, which is the quickest way to find a match for File Type Idrisbin in another set.
VSCode Icons draws many icons in several styles: Light next to the default. Open the library and pick a style above the grid to see File Type Idrisbin's siblings in it.
4.9 out of 5 from 150+ developers
Install File Type Idrisbin from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.
Get Pro