Idris

[ZuidVolt]

Type

• File icon
• Folder icon

Context and associations

*.idr

References

Website:
https://www.idris-lang.org/

example icon:
https://avatars.githubusercontent.com/u/5552910?s=200&v=4