Qui sono elencate 1 versione di idris, dalla prima () fino all’attuale 1.3.3. Ognuna rimanda ai file di installazione del produttore.
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 1.3.3Ultima versione | 1 KB | 64 bit ZIP 1 KB |
idris: versioni precedenti da scaricare
A Dependently Typed Functional Programming Language
- LicenzaOpen source
- Versione1.3.3
- Dimensione1 KB
- RequisitiWindows 10, 11
- Download Chocolatey2,1K
Il più popolare in IDE ed editor di codice
Vedi tutti-
OpenCodeIDE ed editor di codice · OpenCode -
RStudioIDE ed editor di codice · Posit Software -
Node.js (LTS)IDE ed editor di codice · Node.js Foundation -
Apache NetBeansIDE ed editor di codice · Apache NetBeans -
VSCodiumIDE ed editor di codice · VSCodium -
HaxeIDE ed editor di codice · Haxe Foundation -
ThonnyIDE ed editor di codice · Aivar Annamaa -
GDevelopIDE ed editor di codice · GDevelop Team -
mkcertIDE ed editor di codice · FiloSottile -
ProcessingIDE ed editor di codice · Processing Foundation