The idris package

[Tags: bsd3, library, program]

Idris is an experimental language with full dependent types. 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. There is a tutorial at

The aims of the project are:

The Darcs repository can be found at


Versions0.1.3,, 0.1.4, 0.1.5, 0.1.7,, 0.9.0, 0.9.1, 0.9.2,, 0.9.3,, 0.9.4,, 0.9.5,, 0.9.6,, 0.9.7, 0.9.8, 0.9.9,,,, 0.9.10,, 0.9.11,,, 0.9.12, 0.9.13,, 0.9.14
Dependenciesarray, base (==4.*), binary, Cabal, containers, directory, epic (>=0.1.7), haskell98, ivor (>=0.1.14), mtl, old-locale, old-time, parsec, readline
AuthorEdwin Brady
MaintainerEdwin Brady <>
CategoryCompilers/Interpreters, Dependent Types
Home page
Upload dateMon Apr 18 10:10:18 UTC 2011
Uploaded byEdwinBrady
DistributionsFedora:, NixOS:0.9.14
Downloads5247 total (779 in last 30 days)



Maintainers' corner

For package maintainers and hackage trustees