idris 1.3.3 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: idris-disable-test.patch, idris-build-with-haskeline-0.8.patch, idris-build-with-megaparsec-9.patch
- Builds: x86_64-linux, i686-linux