እዚህ 1 የidris ስሪቶች ተዘርዝረዋል፤ ከ እስከ አሁኑ 1.3.3 ድረስ። እያንዳንዱ ወደ አሳታሚው የራሱ የመጫኛ ፋይሎች ያገናኛል።
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 1.3.3የቅርብ ጊዜ ስሪት | 1 KB | 64-bit ZIP 1 KB |
idris፦ ሁሉም ስሪቶች እና የቆዩ ስሪቶች
A Dependently Typed Functional Programming Language
- ፈቃድክፍት ምንጭ
- ስሪት1.3.3
- መጠን1 KB
- የሚያስፈልገውWindows 10, 11
- የChocolatey ውርዶች2.1 ሺ
በIDE እና የኮድ አርታዒዎች ውስጥ በጣም ታዋቂ
ሁሉንም ይመልከቱ-
OpenCodeIDE እና የኮድ አርታዒዎች · OpenCode -
RStudioIDE እና የኮድ አርታዒዎች · Posit Software -
Node.js (LTS)IDE እና የኮድ አርታዒዎች · Node.js Foundation -
Apache NetBeansIDE እና የኮድ አርታዒዎች · Apache NetBeans -
VSCodiumIDE እና የኮድ አርታዒዎች · VSCodium -
HaxeIDE እና የኮድ አርታዒዎች · Haxe Foundation -
ThonnyIDE እና የኮድ አርታዒዎች · Aivar Annamaa -
GDevelopIDE እና የኮድ አርታዒዎች · GDevelop Team -
mkcertIDE እና የኮድ አርታዒዎች · FiloSottile -
ProcessingIDE እና የኮድ አርታዒዎች · Processing Foundation