Këtu janë renditur 1 version të idris, nga deri te versioni aktual 1.3.3. Secili të çon te skedarët e instalimit të vetë botuesit.
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.3.3I fundit | 1 KB | 64-bit ZIP 1 KB |
idris: versionet e vjetra dhe historiku
A Dependently Typed Functional Programming Language
- LicencaMe burim të hapur
- Versioni1.3.3
- Madhësia1 KB
- KërkonWindows 10, 11
- Shkarkime në Chocolatey2,1 mijë
Më të njohurat në „IDE dhe redaktues kodi”
Shiko të gjitha-
OpenCodeIDE dhe redaktues kodi · OpenCode -
RStudioIDE dhe redaktues kodi · Posit Software -
Node.js (LTS)IDE dhe redaktues kodi · Node.js Foundation -
Apache NetBeansIDE dhe redaktues kodi · Apache NetBeans -
VSCodiumIDE dhe redaktues kodi · VSCodium -
HaxeIDE dhe redaktues kodi · Haxe Foundation -
ThonnyIDE dhe redaktues kodi · Aivar Annamaa -
GDevelopIDE dhe redaktues kodi · GDevelop Team -
mkcertIDE dhe redaktues kodi · FiloSottile -
ProcessingIDE dhe redaktues kodi · Processing Foundation