Idris
purely functional programming language
Press Enter · cited answer in seconds
0 sources
Idris
Summary
Idris is a purely functional programming language[1]. Idris draws 108 Wikipedia views per month (purely_functional_programming_language category, ranking #1 of 3).[2]
Key Facts
- Idris was influenced by Q34010[3].
- Idris was influenced by Agda[4].
- Idris was influenced by Rocq prover[5].
- Idris was influenced by Clean[6].
- Idris was influenced by Epigram[7].
- Idris's instance of is recorded as purely functional programming language[8].
- Idris's instance of is recorded as programming language[9].
- Idris's instance of is recorded as dependently typed programming language[10].
- Idris's instance of is recorded as proof assistant[11].
- Idris's copyright license is recorded as BSD licenses[12].
- Idris's programmed in is recorded as Q34010[13].
- Idris's software version identifier is recorded as 0.9.10[14].
- Idris's software version identifier is recorded as 0.9.11[15].
- Idris's software version identifier is recorded as 0.9.12[16].
- Idris's software version identifier is recorded as 0.9.13[17].
- Idris's software version identifier is recorded as 0.9.13.1[18].
- Idris's software version identifier is recorded as 0.9.14[19].
- Idris's software version identifier is recorded as 0.9.14.1[20].
- Idris's software version identifier is recorded as 0.9.14.2[21].
- Idris's software version identifier is recorded as 0.9.15[22].
- Idris's software version identifier is recorded as 0.9.15.1[23].
- Idris's software version identifier is recorded as 0.9.16[24].
- Idris's software version identifier is recorded as 0.9.17[25].
- Idris's software version identifier is recorded as 0.9.17.1[26].
- Idris's software version identifier is recorded as 0.9.18[27].
Why It Matters
Idris draws 108 Wikipedia views per month (purely_functional_programming_language category, ranking #1 of 3).[2] Idris has Wikipedia articles in 9 language editions, a strong signal of global cultural recognition.[28]