Aici sunt listate 1 versiune ale programului idris, de la până la versiunea actuală, 1.3.3. Fiecare trimite la instalatoarele oficiale ale dezvoltatorului.
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.3.3Cea mai nouă | 1 KB | 64 de biți ZIP 1 KB |
idris: versiuni mai vechi, descărcare
A Dependently Typed Functional Programming Language
- LicențăOpen source
- Versiune1.3.3
- Dimensiune1 KB
- CerințeWindows 10, 11
- Descărcări Chocolatey2,1 K
Cele mai populare în IDE-uri și editoare de cod
Vezi tot-
OpenCodeIDE-uri și editoare de cod · OpenCode -
RStudioIDE-uri și editoare de cod · Posit Software -
Node.js (LTS)IDE-uri și editoare de cod · Node.js Foundation -
Apache NetBeansIDE-uri și editoare de cod · Apache NetBeans -
VSCodiumIDE-uri și editoare de cod · VSCodium -
HaxeIDE-uri și editoare de cod · Haxe Foundation -
ThonnyIDE-uri și editoare de cod · Aivar Annamaa -
GDevelopIDE-uri și editoare de cod · GDevelop Team -
mkcertIDE-uri și editoare de cod · FiloSottile -
ProcessingIDE-uri și editoare de cod · Processing Foundation