idris programının ile güncel 1.3.3 arasındaki 1 sürümü burada. Her sürüm, yayıncının kendi kurulum dosyasına bağlanır.
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.3.3Güncel | 1 KB | 64 bit ZIP 1 KB |
idris eski sürümleri ve tüm sürümler
A Dependently Typed Functional Programming Language
- LisansAçık kaynak
- Sürüm1.3.3
- Boyut1 KB
- GereksinimWindows 10, 11
- Chocolatey indirmesi2,1 B
IDE ve kod editörleri: en popüler
Tümünü gör-
OpenCodeIDE ve kod editörleri · OpenCode -
RStudioIDE ve kod editörleri · Posit Software -
Node.js (LTS)IDE ve kod editörleri · Node.js Foundation -
Apache NetBeansIDE ve kod editörleri · Apache NetBeans -
VSCodiumIDE ve kod editörleri · VSCodium -
HaxeIDE ve kod editörleri · Haxe Foundation -
ThonnyIDE ve kod editörleri · Aivar Annamaa -
GDevelopIDE ve kod editörleri · GDevelop Team -
mkcertIDE ve kod editörleri · FiloSottile -
ProcessingIDE ve kod editörleri · Processing Foundation