ברשימה גרסה אחת של idris, מ־ ועד הגרסה הנוכחית 1.3.3. כל גרסה מקושרת לקובצי ההתקנה של המפיץ עצמו.
| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 1.3.3אחרונה | 1 KB | 64 ביט ZIP 1 KB |
הורדת גרסאות קודמות של idris
A Dependently Typed Functional Programming Language
- רישיוןקוד פתוח
- גרסה1.3.3
- גודל1 KB
- דרישותWindows 10, 11
- הורדות ב־Chocolatey2.1K
הפופולריות ביותר בקטגוריה סביבות פיתוח ועורכי קוד
הצגת הכול-
OpenCodeסביבות פיתוח ועורכי קוד · OpenCode -
RStudioסביבות פיתוח ועורכי קוד · Posit Software -
Node.js (LTS)סביבות פיתוח ועורכי קוד · Node.js Foundation -
Apache NetBeansסביבות פיתוח ועורכי קוד · Apache NetBeans -
VSCodiumסביבות פיתוח ועורכי קוד · VSCodium -
Haxeסביבות פיתוח ועורכי קוד · Haxe Foundation -
Thonnyסביבות פיתוח ועורכי קוד · Aivar Annamaa -
GDevelopסביבות פיתוח ועורכי קוד · GDevelop Team -
mkcertסביבות פיתוח ועורכי קוד · FiloSottile -
Processingסביבות פיתוח ועורכי קוד · Processing Foundation