Idris 2 Files

A purely functional programming language with first class types

This is an exact mirror of the Idris 2 project, hosted at https://github.com/idris-lang/Idris2. SourceForge is not affiliated with Idris 2. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README.md	2023-12-22	433 Bytes	0
Version 0.7.0 (2023 release) source code.tar.gz	2023-12-22	7.0 MB	0
Version 0.7.0 (2023 release) source code.zip	2023-12-22	8.3 MB	0
Totals: 3 Items		15.3 MB	0

Highlights include: * Size-change graphs are now matrices, faithfully implementing [Lee, Jones, and Ben-Amram; 2001] * Elaborator scripts can now access project files, allowing for type-providers and similar * Warnings on conflicting fixity declarations along with %hide support for these * Numerous doc and error message enhancements, bug fixes, performance improvements, and much more

See the CHANGELOG for full details.

Source: README.md, updated 2023-12-22

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

Babel
The compiler for writing next generation JavaScript
KeePass
A lightweight and easy-to-use password manager
Apache OpenOffice
The free and Open Source productivity suite
7-Zip
A free file archiver for extremely high compression
Clonezilla
A partition and disk imaging/cloning program

Idris 2 Files

A purely functional programming language with first class types

Get an email when there's a new version of Idris 2