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 http://www.cs.st-andrews.ac.uk/~eb/Idris/tutorial.html.

The aims of the project are:

The Darcs repository can be found at http://www-fp.cs.st-andrews.ac.uk/~eb/darcs/Idris.


Properties

Versions0.1.3, 0.1.3.1, 0.1.4, 0.1.5, 0.1.7, 0.1.7.1, 0.9.0, 0.9.1, 0.9.2, 0.9.2.1, 0.9.3, 0.9.3.1, 0.9.4, 0.9.4.1, 0.9.5, 0.9.5.1, 0.9.6, 0.9.6.1, 0.9.7, 0.9.8, 0.9.9, 0.9.9.1, 0.9.9.2, 0.9.9.3, 0.9.10, 0.9.10.1, 0.9.11, 0.9.11.1, 0.9.11.2, 0.9.12, 0.9.13, 0.9.13.1, 0.9.14
Dependenciesarray, base (==4.*), binary, containers, directory, epic (>=0.1.4), haskell98, ivor (>=0.1.11), mtl, old-locale, old-time, parsec, readline
LicenseBSD3
AuthorEdwin Brady
MaintainerEdwin Brady <eb@dcs.st-and.ac.uk>
StabilityAlpha
CategoryCompilers/Interpreters, Dependent Types
Home pagehttp://www.cs.st-andrews.ac.uk/~eb/Idris/
Executablesidris
Upload dateTue Dec 22 19:44:05 UTC 2009
Uploaded byEdwinBrady
DistributionsFedora:0.9.9.1, NixOS:0.9.14
Downloads5332 total (775 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees