🌐日本語EnglishDeutschFrançaisNederlandsPortuguêsРусскийفارسی한국어中文日本語EntityQ15408477· pop 11· linked from 110 articlesIdris (プログラミング言語)purely functional programming languageWikidata factsOfficial websitewww.cs.st-andrews.ac.uk/~eb/IdrisSources (8)web.archive.orgweb.archive.orgweb.archive.orghackage.haskell.orggithub.comwikidata.orgen.wikipedia.orgAvailable in 11 languages中文日本語РусскийCatalanCzechNederlandsRomanianzh_yueفارسی한국어Connectionsprogramming languageEntitytype systemEntityCategories2007 softwareCross-platform free softwareDependently typed languagesExperimental programming languagesFree and open source compilersFree software programmed in HaskellFunctional languagesHaskell programming language familyHigh-level programming languagesPattern matching programming languagesProgramming languages created in 2007Software using the BSD license