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.119	tracks/idris/docs/ABOUT.md
trackler-2.2.1.118	tracks/idris/docs/ABOUT.md
trackler-2.2.1.117	tracks/idris/docs/ABOUT.md
trackler-2.2.1.116	tracks/idris/docs/ABOUT.md
trackler-2.2.1.115	tracks/idris/docs/ABOUT.md
trackler-2.2.1.114	tracks/idris/docs/ABOUT.md
trackler-2.2.1.113	tracks/idris/docs/ABOUT.md
trackler-2.2.1.111	tracks/idris/docs/ABOUT.md
trackler-2.2.1.110	tracks/idris/docs/ABOUT.md
trackler-2.2.1.109	tracks/idris/docs/ABOUT.md
trackler-2.2.1.108	tracks/idris/docs/ABOUT.md
trackler-2.2.1.107	tracks/idris/docs/ABOUT.md
trackler-2.2.1.106	tracks/idris/docs/ABOUT.md
trackler-2.2.1.105	tracks/idris/docs/ABOUT.md
trackler-2.2.1.104	tracks/idris/docs/ABOUT.md
trackler-2.2.1.103	tracks/idris/docs/ABOUT.md
trackler-2.2.1.102	tracks/idris/docs/ABOUT.md
trackler-2.2.1.101	tracks/idris/docs/ABOUT.md
trackler-2.2.1.100	tracks/idris/docs/ABOUT.md
trackler-2.2.1.99	tracks/idris/docs/ABOUT.md