Application details


Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML.

Latest updates

Showing last 5 updates.

Saturday 5th August 2017
Idris 1.1.1 Changelog Download
Tuesday 1st August 2017
Idris 1.1.0 Changelog Download
Idris 1.0.1 Changelog Download
Saturday 1st April 2017
Idris 1.0 Changelog Download
Sunday 26th March 2017
Idris 0.99.2 Changelog Download