Seznam zajema 1 različico programa idris; trenutna je 1.3.3. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 1.3.3Najnovejša | 1 KB | 64-bitno ZIP 1 KB |
idris: starejše različice za prenos
A Dependently Typed Functional Programming Language
- LicencaOdprta koda
- Različica1.3.3
- Velikost1 KB
- ZahteveWindows 10, 11
- Prenosi s Chocolateyja2,1 tis.
Najbolj priljubljeno v kategoriji „Razvojna okolja in urejevalniki kode“
Prikaži vse-
OpenCodeRazvojna okolja in urejevalniki kode · OpenCode -
RStudioRazvojna okolja in urejevalniki kode · Posit Software -
Node.js (LTS)Razvojna okolja in urejevalniki kode · Node.js Foundation -
Apache NetBeansRazvojna okolja in urejevalniki kode · Apache NetBeans -
VSCodiumRazvojna okolja in urejevalniki kode · VSCodium -
HaxeRazvojna okolja in urejevalniki kode · Haxe Foundation -
ThonnyRazvojna okolja in urejevalniki kode · Aivar Annamaa -
GDevelopRazvojna okolja in urejevalniki kode · GDevelop Team -
mkcertRazvojna okolja in urejevalniki kode · FiloSottile -
ProcessingRazvojna okolja in urejevalniki kode · Processing Foundation