Idris (programming language)
[ca] Idris (llenguatge de programació)
[cs] Idris (programovací jazyk)
[fa] ادریس (زبان برنامه‌نویسی)
[ja] Idris (プログラミング言語)
[nl] Idris (programmeertaal)
[ro] Idris (limbaj de programare)
[ru] Idris (язык программирования)
[zh] Idris
[zh-yue] Idris