Aquí hi ha 1 versió d’idris, des de fins a l’actual, 1.3.3. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.3.3Darrera versió | 1 kB | 64 bits ZIP 1 kB |
idris: baixar versions anteriors
A Dependently Typed Functional Programming Language
- LlicènciaCodi obert
- Versió1.3.3
- Mida1 kB
- RequisitsWindows 10, 11
- Baixades a Chocolatey2,1 k
El més popular a IDE i editors de codi
Mostra-ho tot-
OpenCodeIDE i editors de codi · OpenCode -
RStudioIDE i editors de codi · Posit Software -
Node.js (LTS)IDE i editors de codi · Node.js Foundation -
Apache NetBeansIDE i editors de codi · Apache NetBeans -
VSCodiumIDE i editors de codi · VSCodium -
HaxeIDE i editors de codi · Haxe Foundation -
ThonnyIDE i editors de codi · Aivar Annamaa -
GDevelopIDE i editors de codi · GDevelop Team -
mkcertIDE i editors de codi · FiloSottile -
ProcessingIDE i editors de codi · Processing Foundation