Home · Extensions · .idr

`.idr`

1 claimant 1 primary 0 secondary unambiguous primary

SWH popularity

From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.

136.6K

total occurrences

36.7K

since 2019 (26.9%)

2008–2023

years active

Case variants in archive: .idr (136.6K), .IDR (8), .idR (1), .Idr (1) — aggregated above.

Attribution status

This extension is attributed to Idris; Idris; Idris as primary by 3 authoritative claims.

Authoritative sources: ✓ Linguist ✓ Pygments ✓ Wikidata · Q15408477 ✗ Wikipedia · no claim

Disagree or have a correction? Open a labelling issue.

Claimants (3)

Languages that list .idr among their extensions. Strength reflects whether the upstream source treated it as their primary extension.

Language	Source	Strength
Idris	linguist	primary
Idris	pygments	primary
Idris	wikidata	primary

Wikidata says… (1)

File formats, image formats, audio codecs and other non-PL entities that claim .idr on Wikidata (property P1195) or in the Wikipedia infobox. Source: data/derived/external_extension_index.csv. Click Use as new PL on any row to open the Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata URL, and this extension — one submission creates the PL + claim.

Right entry isn't listed? Add manually ↗

Format	Class (Wikidata `P31`)	Suggested label	MIME	Notes	Action
Idris source code file Q127703853 file format	file format	—	`text/x-idris`	—	Use as new PL ↗

SWH-mined examples (1)

Real archived programs with this extension, byte-verified against the SWH archive. Useful for deciding what this extension actually is when the attribution is uncertain.

list_nat.idr · 1555 B · seen 24× in SWH

predicted: Idris via unique-primary

swh:1:cnt:7ef3cc2560e795ecfe90a76e9b7fa6427a9dde95;origin=https://github.com/kevinsullivan/cs1113f16;anchor=swh:1:rev:523b9e9e58088ab0aebc18e89dea2b35eacb0c1f;path=/mylib/src/list_nat.idr

Open in SWH · Raw bytes