idris-ohjelmasta on luettelossa 1 versio, ensimmäinen ja uusin 1.3.3. Jokainen versio linkittää julkaisijan omiin asennustiedostoihin.
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.3.3Uusin | 1 kt | 64-bittinen ZIP 1 kt |
idris: vanhemmat versiot ja versiohistoria
A Dependently Typed Functional Programming Language
- LisenssiAvoin lähdekoodi
- Versio1.3.3
- Koko1 kt
- VaatimuksetWindows 10, 11
- Chocolatey-lataukset2,1 t.
Suosituin kategoriassa IDE:t ja koodieditorit
Näytä kaikki-
OpenCodeIDE:t ja koodieditorit · OpenCode -
RStudioIDE:t ja koodieditorit · Posit Software -
Node.js (LTS)IDE:t ja koodieditorit · Node.js Foundation -
Apache NetBeansIDE:t ja koodieditorit · Apache NetBeans -
VSCodiumIDE:t ja koodieditorit · VSCodium -
HaxeIDE:t ja koodieditorit · Haxe Foundation -
ThonnyIDE:t ja koodieditorit · Aivar Annamaa -
GDevelopIDE:t ja koodieditorit · GDevelop Team -
mkcertIDE:t ja koodieditorit · FiloSottile -
ProcessingIDE:t ja koodieditorit · Processing Foundation