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, 0.9.17,
Dependenciesarray, base (==4.*), binary, containers, directory, epic (>=0.1.3), haskell98, ivor (>=0.1.10), mtl, old-locale, old-time, parsec, readline
AuthorEdwin Brady
MaintainerEdwin Brady <>
CategoryCompilers/Interpreters, Dependent Types
Home page
UploadedTue Dec 22 19:44:05 UTC 2009 by EdwinBrady
DistributionsFedora:, NixOS:
Downloads10343 total (606 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]



Maintainers' corner

For package maintainers and hackage trustees