หน้านี้รวบรวม idris ไว้ 1 เวอร์ชัน ตั้งแต่ จนถึงเวอร์ชันปัจจุบัน 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
ยอดนิยมใน 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