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.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/r065x1pskch37p8d46r58axjkmrx0pr2-idris-1.3.3.drv | ||
mips64el-linux | /gnu/store/caf60ynapf1nk3n216gww0cfrkva67xw-idris-1.3.3.drv | ||
i686-linux | /gnu/store/iixyggdxjih4aq1p039hdvsf8nbm81fi-idris-1.3.3.drv | ||
i586-gnu | /gnu/store/nn5bm5d4w100qngjp111rsfj7m91fgx6-idris-1.3.3.drv | ||
armhf-linux | /gnu/store/7c9qj3gd69fhzpmz0z9l4mznx6zq1glc-idris-1.3.3.drv | ||
aarch64-linux | /gnu/store/iw4v1429jirsdlsfxlpffgfss0rwbj5d-idris-1.3.3.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 104 is way too long (93 characters) |