Tersedia 1 versi idris, mulai dari hingga versi terbaru 1.3.3. Setiap versi tertaut ke file installer milik penerbit.
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.3.3Terbaru | 1 KB | 64-bit ZIP 1 KB |
Download idris versi lama dan semua versi
A Dependently Typed Functional Programming Language
- LisensiOpen source
- Versi1.3.3
- Ukuran1 KB
- PersyaratanWindows 10, 11
- Unduhan Chocolatey2,1 rb
Terpopuler di IDE & editor kode
Lihat semua-
OpenCodeIDE & editor kode · OpenCode -
RStudioIDE & editor kode · Posit Software -
Node.js (LTS)IDE & editor kode · Node.js Foundation -
Apache NetBeansIDE & editor kode · Apache NetBeans -
VSCodiumIDE & editor kode · VSCodium -
HaxeIDE & editor kode · Haxe Foundation -
ThonnyIDE & editor kode · Aivar Annamaa -
GDevelopIDE & editor kode · GDevelop Team -
mkcertIDE & editor kode · FiloSottile -
ProcessingIDE & editor kode · Processing Foundation