Her finner du 1 versjon av idris, fra til gjeldende 1.3.3. Hver av dem lenker til utgiverens egne installasjonsfiler.
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.3.3Nyeste | 1 KB | 64-bit ZIP 1 KB |
idris: eldre versjoner og versjonshistorikk
A Dependently Typed Functional Programming Language
- LisensÅpen kildekode
- Versjon1.3.3
- Størrelse1 KB
- KravWindows 10, 11
- Chocolatey-nedlastinger2,1k
Mest populær i IDE-er og koderedigering
Se alle-
OpenCodeIDE-er og koderedigering · OpenCode -
RStudioIDE-er og koderedigering · Posit Software -
Node.js (LTS)IDE-er og koderedigering · Node.js Foundation -
Apache NetBeansIDE-er og koderedigering · Apache NetBeans -
VSCodiumIDE-er og koderedigering · VSCodium -
HaxeIDE-er og koderedigering · Haxe Foundation -
ThonnyIDE-er og koderedigering · Aivar Annamaa -
GDevelopIDE-er og koderedigering · GDevelop Team -
mkcertIDE-er og koderedigering · FiloSottile -
ProcessingIDE-er og koderedigering · Processing Foundation