idris: Dependently Typed Functional Programming Language

[ bsd3, compilers-interpreters, dependent-types, library, program ] [ Propose Tags ]

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.

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, 0.99.1, 0.99.2, 1.0, 1.1.0, 1.1.1, 1.2.0, 1.3.0
Dependencies array, base (==4.*), binary, containers, directory, epic (>=0.1.3), haskell98, ivor (>=0.1.8), mtl, old-locale, old-time, parsec, readline [details]
License BSD-3-Clause
Author Edwin Brady
Maintainer Edwin Brady <eb@dcs.st-and.ac.uk>
Category Compilers/Interpreters, Dependent Types
Home page http://www.cs.st-andrews.ac.uk/~eb/Idris/
Uploaded by EdwinBrady at Sun Dec 20 23:59:11 UTC 2009
Distributions Arch:1.3.0, Fedora:1.3.0, NixOS:1.3.0
Executables idris
Downloads 32909 total (395 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-30 [all 7 reports]
Hackage Matrix CI

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.Prover
    • Idris.RunIO
    • Idris.SCTrans
    • Idris.SimpleCase

Downloads

Maintainer's Corner

For package maintainers and hackage trustees