Hapa yameorodheshwa matoleo 1 ya idris, kuanzia hadi toleo la sasa 1.3.3. Kila moja lina kiungo cha faili za kisakinishi za mchapishaji mwenyewe.
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.3.3Toleo jipya zaidi | 1 KB | 64-bit ZIP 1 KB |
idris: matoleo yote na matoleo ya zamani
A Dependently Typed Functional Programming Language
- LeseniChanzo huria
- Toleo1.3.3
- Ukubwa1 KB
- InahitajiWindows 10, 11
- Vipakuliwa vya Chocolateyelfu 2.1
Maarufu zaidi katika IDE na vihariri vya msimbo
Ona zote-
RStudioIDE na vihariri vya msimbo · Posit Software -
Node.js (LTS)IDE na vihariri vya msimbo · Node.js Foundation -
Apache NetBeansIDE na vihariri vya msimbo · Apache NetBeans -
VSCodiumIDE na vihariri vya msimbo · VSCodium -
HaxeIDE na vihariri vya msimbo · Haxe Foundation -
ThonnyIDE na vihariri vya msimbo · Aivar Annamaa -
GDevelopIDE na vihariri vya msimbo · GDevelop Team -
mkcertIDE na vihariri vya msimbo · FiloSottile -
ProcessingIDE na vihariri vya msimbo · Processing Foundation -
Android StudioIDE na vihariri vya msimbo · Google LLC