1 versions of idris are listed here, from to the current 1.3.3. Each one links to the publisher’s own installer files.
| Version | Date | Size | Files |
|---|---|---|---|
| 1.3.3Latest | 1 KB | 64-bit ZIP 1 KB |
idris: all versions and old releases
A Dependently Typed Functional Programming Language
- LicenceOpen source
- Version1.3.3
- Size1 KB
- RequiresWindows 10, 11
- Chocolatey downloads2.1K
Most popular in IDEs & code editors
See all-
OpenCodeOpenCode is an open source agent that helps you write and run code with any AI model. It's available as a terminal-based interface, desktop app, or IDE extension. -
RStudioRStudio is an integrated development environment (IDE) for R. -
Node.js (LTS)Run JavaScript Everywhere -
Apache NetBeansDevelopment Environment, Tooling Platform and Application Framework. -
VSCodiumVSCodium is a community-driven, freely-licensed and telemetry-free rebuilt of Microsoft's Visual Studio Code. -
HaxeHaxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. -
ThonnyThonny is a Python IDE meant for learning programming. -
GDevelopThe fastest, easiest, most powerful no-code game engine. -
mkcertA simple zero-config tool to make locally trusted development certificates with any names you'd like. -
ProcessingA language and environment for creative coding