Her er 1 versioner af idris, fra til den aktuelle 1.3.3. Hver version linker til udgiverens egne installationsfiler.
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.3.3Nyeste | 1 kB | 64-bit ZIP 1 kB |
idris: download ældre versioner
A Dependently Typed Functional Programming Language
- LicensOpen source
- Version1.3.3
- Størrelse1 kB
- KræverWindows 10, 11
- Downloads via Chocolatey2,1 t
Mest populære i IDE’er og kodeeditorer
Se alle-
OpenCodeIDE’er og kodeeditorer · OpenCode -
RStudioIDE’er og kodeeditorer · Posit Software -
Node.js (LTS)IDE’er og kodeeditorer · Node.js Foundation -
Apache NetBeansIDE’er og kodeeditorer · Apache NetBeans -
VSCodiumIDE’er og kodeeditorer · VSCodium -
HaxeIDE’er og kodeeditorer · Haxe Foundation -
ThonnyIDE’er og kodeeditorer · Aivar Annamaa -
GDevelopIDE’er og kodeeditorer · GDevelop Team -
mkcertIDE’er og kodeeditorer · FiloSottile -
ProcessingIDE’er og kodeeditorer · Processing Foundation