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/1q6g256q47l7k40373zm13d76yzfl9y7-idris-1.3.3.drv | ||
powerpc64le-linux | /gnu/store/i0xryv952i7ks2dk628hs45va91q5mhw-idris-1.3.3.drv | ||
mips64el-linux | /gnu/store/5n8nxs9a4ikpmh5fyqsq93vpd2qs9psf-idris-1.3.3.drv | ||
i686-linux | /gnu/store/a4y77y6h0bzhxkgnyarsay8iv3w9szji-idris-1.3.3.drv | ||
i586-gnu | /gnu/store/1kc02154hj66viiw3c4cl49nzviq8zrn-idris-1.3.3.drv | ||
armhf-linux | /gnu/store/fbgfxkp8ljby42kcbj6ixjg4i7qpnn6h-idris-1.3.3.drv | ||
aarch64-linux | /gnu/store/57xnmnfc2s9dv4db1gsp1072p3ajk63s-idris-1.3.3.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 104 is way too long (93 characters) | |
formatting Look for formatting issues in the source | line 105 is way too long (100 characters) | |
formatting Look for formatting issues in the source | line 102 is way too long (100 characters) |