The idris package

[Tags:bsd3, library, program, test]

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

Versions 0.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, 0.9.14.1, 0.9.14.2, 0.9.14.3, 0.9.15, 0.9.15.1, 0.9.16, 0.9.17, 0.9.17.1, 0.9.18, 0.9.18.1, 0.9.19, 0.9.19.1, 0.9.20, 0.9.20.1, 0.9.20.2, 0.10, 0.10.1, 0.10.2, 0.10.3, 0.11, 0.11.1, 0.11.2, 0.12, 0.12.1, 0.12.2, 0.12.3, 0.99
Change log CHANGELOG
Dependencies array, base (==4.*), binary, Cabal, containers, directory, epic (>=0.1.7), haskell98, ivor (>=0.1.14), mtl, old-locale, old-time, parsec, readline [details]
License BSD3
Author Edwin Brady
Maintainer Edwin Brady <eb@cs.st-andrews.ac.uk>
Stability Alpha
Category Compilers/Interpreters, Dependent Types
Home page http://www.cs.st-andrews.ac.uk/~eb/Idris/
Uploaded Mon Apr 18 10:10:18 UTC 2011 by EdwinBrady
Distributions Arch:0.99, LTSHaskell:0.12.3, NixOS:0.12.3, Tumbleweed:0.12.3
Downloads 17156 total (627 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-22 [all 5 reports]

Modules

  • Idris
    • Idris.AbsSyntax
    • Idris.Compiler
    • Idris.ConTrans
    • Idris.Context
    • Idris.Fontlock
    • Idris.LambdaLift
    • Idris.Latex
    • Idris.Lexer
    • Idris.Lib
    • Idris.MakeTerm
    • Idris.PMComp
    • Idris.Parser
    • Idris.PartialEval
    • Idris.Prover
    • Idris.RunIO
    • Idris.SCTrans
    • Idris.Serialise
    • Idris.SimpleCase

Downloads

Maintainer's Corner

For package maintainers and hackage trustees