У спісе 1 версія праграмы idris, бягучая — 1.3.3. Кожная версія вядзе на ўсталёўшчыкі з сервера распрацоўшчыка.
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 1.3.3Апошняя | 1 КБ | 64-біт ZIP 1 КБ |
idris: спампаваць старыя версіі
A Dependently Typed Functional Programming Language
- ЛіцэнзіяАдкрыты код
- Версія1.3.3
- Памер1 КБ
- Патрабаванні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