The idris package

[Tags: bsd3, library, program]

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. There is a tutorial at Features include:


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,, 0.9.18,, 0.9.19,, 0.9.20,,, 0.10
Change logNone available
Dependenciesansi-terminal, base (==4.*), binary, bytestring, Cabal, containers, directory (>=1.2), filepath, haskeline (>=0.7), language-java (>=0.2.2), libffi, llvm-general (==3.3.8.*), llvm-general-pure (==3.3.8.*), mtl, parsec (>=3), parsers (>=0.9), pretty, process, split, text, time (>=1.4), transformers, trifecta (>=1.1), unix, unordered-containers, utf8-string, vector, vector-binary-instances, Win32 [details]
AuthorEdwin Brady
MaintainerEdwin Brady <>
CategoryCompilers/Interpreters, Dependent Types
Home page
Source repositoryhead: git clone git://
UploadedTue Sep 24 20:32:05 UTC 2013 by EdwinBrady
DistributionsArch:0.10, Fedora:, NixOS:0.10
Downloads14911 total (219 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]


noeffectsDo not build the effects packageDisabledAutomatic
llvmBuild the LLVM backendEnabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees