Seznam obsahuje 1 verzi programu idris, aktuální je 1.3.3. Každá verze vede na instalátory ze serveru výrobce.
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 1.3.3Nejnovější | 1 kB | 64bit ZIP 1 kB |
idris: starší verze ke stažení
A Dependently Typed Functional Programming Language
- LicenceOpen source
- Verze1.3.3
- Velikost1 kB
- PožadavkyWindows 10, 11
- Stažení z Chocolatey2,1 tis.
Nejoblíbenější v kategorii „IDE a editory kódu“
Zobrazit vše-
OpenCodeIDE a editory kódu · OpenCode -
RStudioIDE a editory kódu · Posit Software -
Node.js (LTS)IDE a editory kódu · Node.js Foundation -
Apache NetBeansIDE a editory kódu · Apache NetBeans -
VSCodiumIDE a editory kódu · VSCodium -
HaxeIDE a editory kódu · Haxe Foundation -
ThonnyIDE a editory kódu · Aivar Annamaa -
GDevelopIDE a editory kódu · GDevelop Team -
mkcertIDE a editory kódu · FiloSottile -
ProcessingIDE a editory kódu · Processing Foundation