idris

pnpm dlx shadcn@latest add https://opensourceicon.com/r/file-icons/idris.json

<svg xmlns="http://www.w3.org/2000/svg" width="96" height="176" viewBox="0 0 279 512"><path fill="currentColor" d="M90.905 76.16c65.59 19.85 82.369 36.202 105.43 95.468c-4.474-72.265-33.395-102.39-105.43-95.468M0 189.82c42.58 13.113 92.023 23.59 110.294 104.942C117.836 193.273 69.785 188.102 0 189.82m28.77-64.715c63.983 13.223 104.77 30.595 128.607 113.163c5.469-106.517-52.995-117.213-128.606-113.163M112.673 0c349.152 227.665-77.556 231.688 15.258 496l54.942 16c-151.36-205.193 336.883-310.67-70.2-512"/></svg>