[ICON REQUEST]: idris

### I have searched through the issues and didn't find my problem.

- [x] Confirm

### About the icon

A purely functional programming language with first class types

### Links and sources

Website: https://idris-lang.org/
Repository: https://github.com/idris-lang/Idris2
Docs: https://idris2.readthedocs.io/en/latest/tutorial/starting.html

### Icon links and previews

#### iconname-version-name

https://avatars.githubusercontent.com/u/5552910?s=48&v=4

### Additional information

There are svg version of icon
https://www.svgrepo.com/svg/373675/idris