Hier sind 1 Versionen von idris aufgeführt, von bis zur aktuellen 1.3.3. Jede verweist auf die Installationsdateien des Herstellers.
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.3.3Aktuell | 1 KB | 64-Bit ZIP 1 KB |
idris: alte Versionen herunterladen
A Dependently Typed Functional Programming Language
- LizenzOpen Source
- Version1.3.3
- Größe1 KB
- VoraussetzungWindows 10, 11
- Chocolatey-Downloads2068
Am beliebtesten in IDEs & Code-Editoren
Alle anzeigen-
OpenCodeIDEs & Code-Editoren · OpenCode -
RStudioIDEs & Code-Editoren · Posit Software -
Node.js (LTS)IDEs & Code-Editoren · Node.js Foundation -
Apache NetBeansIDEs & Code-Editoren · Apache NetBeans -
VSCodiumIDEs & Code-Editoren · VSCodium -
HaxeIDEs & Code-Editoren · Haxe Foundation -
ThonnyIDEs & Code-Editoren · Aivar Annamaa -
GDevelopIDEs & Code-Editoren · GDevelop Team -
mkcertIDEs & Code-Editoren · FiloSottile -
ProcessingIDEs & Code-Editoren · Processing Foundation