Estão listadas 1 versões de idris, de até a atual, 1.3.3. Cada uma aponta para os instaladores do próprio desenvolvedor.
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.3.3Última versão | 1 KB | 64 bits ZIP 1 KB |
idris: baixar versões antigas
A Dependently Typed Functional Programming Language
- LicençaCódigo aberto
- Versão1.3.3
- Tamanho1 KB
- RequisitosWindows 10, 11
- Downloads no Chocolatey2,1 mil
Mais popular em IDEs e editores de código
Ver tudo-
OpenCodeIDEs e editores de código · OpenCode -
RStudioIDEs e editores de código · Posit Software -
Node.js (LTS)IDEs e editores de código · Node.js Foundation -
Apache NetBeansIDEs e editores de código · Apache NetBeans -
VSCodiumIDEs e editores de código · VSCodium -
HaxeIDEs e editores de código · Haxe Foundation -
ThonnyIDEs e editores de código · Aivar Annamaa -
GDevelopIDEs e editores de código · GDevelop Team -
mkcertIDEs e editores de código · FiloSottile -
ProcessingIDEs e editores de código · Processing Foundation