idris 1.3.2 General purpose language with full dependent types
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. 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. The language is closely related to Epigram and Agda.
- Website: https://www.idris-lang.org
- License: Modified BSD
- Package source: idris.scm
- Patches: None
- Builds: x86_64-linux, i686-linux