Idris is a general-purpose pure functional programming language with dependent types.

Documentation

http://docs.idris-lang.org/en/latest/

Installation

macOS

https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Mac-OS-X

$ brew install idris

$ idris --version

Git

https://github.com/idris-lang/Idris-dev/wiki/Installing-an-Idris-Development-version-in-a-sandbox

$ git clone https://github.com/idris-lang/Idris-dev
$ cd Idris-dev/

$ cabal sandbox init
$ cabal update

$ cabal install --only-dependencies

$ make CABALFLAGS='-f FFI -f GMP'

$ .cabal-sandbox/bin/idris --version

Books

Lectures

Talks

Libraries

See Also

ATS, CakeML, F*