Contents

Idris is a general purpose pure functional programming language with [dependent types](http://en.wikipedia.org/wiki/Dependent_type). 
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. 
It is compiled, with  [eager evaluation](http://en.wikipedia.org/wiki/Eager_evaluation). 
Its features are influenced by Haskell and ML, and include:

 *  Full dependent types with dependent pattern matching
 *  Simple foreign function interface (to C)
 *  Compiler-supported interactive editing: the compiler helps you write code using the types
 *  where clauses, with rule, simple case expressions, pattern matching let and lambda bindings
 *  Dependent records with projection and update
 *  Interfaces (similar to type classes in Haskell)
 *  Type-driven overloading resolution
 *  do notation and idiom brackets
 *  indentation significant syntax
 *  Extensible syntax
 *  Cumulative universes
 *  Totality checking
 *  [Hugs](http://www.haskell.org/hugs/) style interactive environment

Version data entries

396 entries across 396 versions & 1 rubygems

Version	Path
trackler-2.2.1.139	tracks/idris/docs/ABOUT.md
trackler-2.2.1.138	tracks/idris/docs/ABOUT.md
trackler-2.2.1.137	tracks/idris/docs/ABOUT.md
trackler-2.2.1.136	tracks/idris/docs/ABOUT.md
trackler-2.2.1.135	tracks/idris/docs/ABOUT.md
trackler-2.2.1.134	tracks/idris/docs/ABOUT.md
trackler-2.2.1.133	tracks/idris/docs/ABOUT.md
trackler-2.2.1.132	tracks/idris/docs/ABOUT.md
trackler-2.2.1.131	tracks/idris/docs/ABOUT.md
trackler-2.2.1.130	tracks/idris/docs/ABOUT.md
trackler-2.2.1.129	tracks/idris/docs/ABOUT.md
trackler-2.2.1.128	tracks/idris/docs/ABOUT.md
trackler-2.2.1.127	tracks/idris/docs/ABOUT.md
trackler-2.2.1.126	tracks/idris/docs/ABOUT.md
trackler-2.2.1.125	tracks/idris/docs/ABOUT.md
trackler-2.2.1.124	tracks/idris/docs/ABOUT.md
trackler-2.2.1.123	tracks/idris/docs/ABOUT.md
trackler-2.2.1.122	tracks/idris/docs/ABOUT.md
trackler-2.2.1.121	tracks/idris/docs/ABOUT.md
trackler-2.2.1.120	tracks/idris/docs/ABOUT.md