file_type_idris
SVG
Viewer
Dark mode
Light mode
Hide sidebar
Any license
Apache
BSD
CC Attribution
CC0
GPL
MIT
OFL
Public domain
Idris
Vscode Icons
View collection
Send feedback
Browse all SVGs
Terms & Conditions
Privacy Policy
Rotate
Flip Y
Flip X
Colors
Edit colors
-1px x -1px
Change dimensions
Optimize
608 bytes
399 bytes
-34%
Optimize options
Prettify
Prettify options
Edit
with AI
Describe a change to make
Create
Describe a new SVG to make
Wrap
Stop wrapping long lines
Clear
<?xml version="1.0" encoding="utf-8"?> <!-- License: MIT. Made by vscode-icons: https://github.com/vscode-icons/vscode-icons --> <svg width="800px" height="800px" viewBox="0 0 32 32" xmlns="http://www.w3.org/2000/svg"><title>file_type_idris</title><path d="M13.376,6.2c3.6,1.1,4.5,2,5.8,5.2-.3-4-1.9-5.6-5.8-5.2Z" style="fill:#8a0819"/><path d="M8.376,12.4c2.3.7,5,1.3,6,5.7.4-5.5-2.2-5.8-6-5.7Z" style="fill:#8a0819"/><path d="M9.976,8.8c3.5.7,5.7,1.7,7,6.2.3-5.8-2.9-6.4-7-6.2Z" style="fill:#8a0819"/><path d="M14.576,2c19.1,12.4-4.2,12.7.8,27.1l3,.9c-8.3-11.2,18.4-17-3.8-28Z" style="fill:#8a0819"/></svg>
Upload
Copy
Download
Share
Preview
React
React Native
PNG
Data URI
file_type_idris
100%
Download SVG
SVG
Viewer
Dark mode
Light mode
Edit
Export
Rotate
Flip Y
Flip X
Colors
Edit colors
-1px x -1px
Change dimensions
Optimize
608 bytes
399 bytes
-34%
Optimize options
Prettify
Prettify options
Edit
with AI
Describe a change to make
Create
Describe a new SVG to make
Wrap
Stop wrapping long lines
Clear
<?xml version="1.0" encoding="utf-8"?> <!-- License: MIT. Made by vscode-icons: https://github.com/vscode-icons/vscode-icons --> <svg width="800px" height="800px" viewBox="0 0 32 32" xmlns="http://www.w3.org/2000/svg"><title>file_type_idris</title><path d="M13.376,6.2c3.6,1.1,4.5,2,5.8,5.2-.3-4-1.9-5.6-5.8-5.2Z" style="fill:#8a0819"/><path d="M8.376,12.4c2.3.7,5,1.3,6,5.7.4-5.5-2.2-5.8-6-5.7Z" style="fill:#8a0819"/><path d="M9.976,8.8c3.5.7,5.7,1.7,7,6.2.3-5.8-2.9-6.4-7-6.2Z" style="fill:#8a0819"/><path d="M14.576,2c19.1,12.4-4.2,12.7.8,27.1l3,.9c-8.3-11.2,18.4-17-3.8-28Z" style="fill:#8a0819"/></svg>
Upload
Copy
Download
Share
Preview
React
React Native
PNG
Data URI
file_type_idris
100%
Download SVG