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.

Sunday 7th January 2018
Idris 1.2.0 Changelog Download
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