File Type Idris icon

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" width="24" height="24"><path fill="#8a0819" d="M13.376 6.2c3.6 1.1 4.5 2 5.8 5.2c-.3-4-1.9-5.6-5.8-5.2Zm-5 6.2c2.3.7 5 1.3 6 5.7c.4-5.5-2.2-5.8-6-5.7Zm1.6-3.6c3.5.7 5.7 1.7 7 6.2c.3-5.8-2.9-6.4-7-6.2Z"/><path fill="#8a0819" 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"/></svg>