Home›2007 software›Idris🌐EnglishEnglishDeutschFrançaisNederlandsPortuguêsРусскийفارسی한국어中文日本語EntityQ15408477· pop 11· linked from 110 articlesIdrispurely functional programming languageWikidata factsOfficial websitewww.cs.st-andrews.ac.uk/~eb/IdrisShow 5 more factssource code repository URLgithub.com/idris-lang/Idris-devinception2007-00-00file extensionlidrsoftware version identifier1.3.3IRC channel URLirc://libera.chat/#idrisSources (8)web.archive.orgweb.archive.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