| Purely functional programming language with first class types | |
| https://idris-lang.org/ | |
| idris2-9999 | BSD |
| download~amd64 ~x86 | Miezhiko |
| idris2-0.7.0 | BSD |
| download~amd64 ~x86 | gentoo |
| idris2-0.7.0 | BSD |
| download~amd64 ~x86 | Miezhiko |
| idris2-0.6.0 | BSD |
| download~amd64 ~x86 | gentoo |