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.180	tracks/idris/docs/ABOUT.md
trackler-2.2.1.179	tracks/idris/docs/ABOUT.md
trackler-2.2.1.178	tracks/idris/docs/ABOUT.md
trackler-2.2.1.177	tracks/idris/docs/ABOUT.md
trackler-2.2.1.176	tracks/idris/docs/ABOUT.md
trackler-2.2.1.175	tracks/idris/docs/ABOUT.md
trackler-2.2.1.174	tracks/idris/docs/ABOUT.md
trackler-2.2.1.173	tracks/idris/docs/ABOUT.md
trackler-2.2.1.172	tracks/idris/docs/ABOUT.md
trackler-2.2.1.171	tracks/idris/docs/ABOUT.md
trackler-2.2.1.170	tracks/idris/docs/ABOUT.md
trackler-2.2.1.169	tracks/idris/docs/ABOUT.md
trackler-2.2.1.167	tracks/idris/docs/ABOUT.md
trackler-2.2.1.166	tracks/idris/docs/ABOUT.md
trackler-2.2.1.165	tracks/idris/docs/ABOUT.md
trackler-2.2.1.164	tracks/idris/docs/ABOUT.md
trackler-2.2.1.163	tracks/idris/docs/ABOUT.md
trackler-2.2.1.162	tracks/idris/docs/ABOUT.md
trackler-2.2.1.161	tracks/idris/docs/ABOUT.md
trackler-2.2.1.160	tracks/idris/docs/ABOUT.md