-
Notifications
You must be signed in to change notification settings - Fork 2.4k
[ICON REQUEST]: idris #2725
Copy link
Copy link
Open
Labels
request:iconWhen requesting a new icon to be added to the collection or a refactor use this label in your issueWhen requesting a new icon to be added to the collection or a refactor use this label in your issue
Description
Metadata
Metadata
Assignees
Labels
request:iconWhen requesting a new icon to be added to the collection or a refactor use this label in your issueWhen requesting a new icon to be added to the collection or a refactor use this label in your issue
Type
Fields
Give feedbackNo fields configured for issues without a type.
I have searched through the issues and didn't find my problem.
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=4Additional information
There are svg version of icon
https://www.svgrepo.com/svg/373675/idris