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,,,, 0.9.15,, 0.9.16
Dependenciesarray, base (==4.*), binary, Cabal, containers, directory, epic (>=0.1.6), haskell98, ivor (>=0.1.13), mtl, old-locale, old-time, parsec, readline
AuthorEdwin Brady
MaintainerEdwin Brady <>
CategoryCompilers/Interpreters, Dependent Types
Home page
UploadedMon Apr 18 10:10:18 UTC 2011 by EdwinBrady
DistributionsFedora:, NixOS:0.9.16
Downloads9842 total (477 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]



Maintainers' corner

For package maintainers and hackage trustees