Populärt: Data uppdaterade 27 oktober 2026

Kategorier

Internet1 356
Kommunikation321
Ljud och video898
Grafik och design539
Kontor och produktivitet1 124
Utvecklarverktyg3 134
AI-verktyg529
Säkerhet och integritet385
Systemverktyg3 114
Spel523
Utbildning och vetenskap239
Nätverk och IT284

idris: äldre versioner att ladda ner

A Dependently Typed Functional Programming Language

IDE:er och kodredigerare

Här listas 1 versioner av idris, från till den aktuella 1.3.3. Varje version länkar till utgivarens egna installationsfiler.

VersionDatumStorlekFiler
1.3.3Senaste 1 kB 64-bitars ZIP 1 kB

Populärast i IDE:er och kodredigerare

Visa alla
  1. OpenCodeIDE:er och kodredigerare · OpenCode
  2. RStudioIDE:er och kodredigerare · Posit Software
  3. Node.js (LTS)IDE:er och kodredigerare · Node.js Foundation
  4. Apache NetBeansIDE:er och kodredigerare · Apache NetBeans
  5. VSCodiumIDE:er och kodredigerare · VSCodium
  6. HaxeIDE:er och kodredigerare · Haxe Foundation
  7. ThonnyIDE:er och kodredigerare · Aivar Annamaa
  8. GDevelopIDE:er och kodredigerare · GDevelop Team
  9. mkcertIDE:er och kodredigerare · FiloSottile
  10. ProcessingIDE:er och kodredigerare · Processing Foundation

Taggar

Dela