یہاں idris کے 1 ورژن درج ہیں۔ ہر ورژن پبلشر کی اپنی انسٹالر فائلوں سے منسلک ہے۔
| ورژن | تاریخ | سائز | فائلیں |
|---|---|---|---|
| 1.3.3تازہ ترین | 1 KB | 64 بٹ 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