Idris is a programming language recognized by GitHub Linguist and used with .idr, .lidr.
Quick facts
What is Idris
Idris is a programming language recognized by GitHub Linguist and used with .idr, .lidr.
GitHub Linguist classifies Idris as a programming language, typically using extensions such as .idr, .lidr.
File extensions:
Related languages
Frequently asked questions
Idris is a programming language recognized by GitHub Linguist and used with .idr, .lidr.
Common extensions include .idr, .lidr.
Sources & standards
Updated 2026-08-18
Explore this reference