Εδώ καταγράφονται 1 έκδοση του idris, από τις έως την τρέχουσα 1.3.3. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 1.3.3Τελευταία | 1 KB | 64-bit ZIP 1 KB |
idris: παλαιότερες εκδόσεις και ιστορικό
A Dependently Typed Functional Programming Language
- ΆδειαΑνοιχτού κώδικα
- Έκδοση1.3.3
- Μέγεθος1 KB
- ΑπαιτήσειςWindows 10, 11
- Λήψεις Chocolatey2,1 χιλ.
Τα πιο δημοφιλή: IDE και επεξεργαστές κώδικα
Όλα-
OpenCodeIDE και επεξεργαστές κώδικα · OpenCode -
RStudioIDE και επεξεργαστές κώδικα · Posit Software -
Node.js (LTS)IDE και επεξεργαστές κώδικα · Node.js Foundation -
Apache NetBeansIDE και επεξεργαστές κώδικα · Apache NetBeans -
VSCodiumIDE και επεξεργαστές κώδικα · VSCodium -
HaxeIDE και επεξεργαστές κώδικα · Haxe Foundation -
ThonnyIDE και επεξεργαστές κώδικα · Aivar Annamaa -
GDevelopIDE και επεξεργαστές κώδικα · GDevelop Team -
mkcertIDE και επεξεργαστές κώδικα · FiloSottile -
ProcessingIDE και επεξεργαστές κώδικα · Processing Foundation