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.98	tracks/idris/docs/ABOUT.md
trackler-2.2.1.97	tracks/idris/docs/ABOUT.md
trackler-2.2.1.96	tracks/idris/docs/ABOUT.md
trackler-2.2.1.95	tracks/idris/docs/ABOUT.md
trackler-2.2.1.94	tracks/idris/docs/ABOUT.md
trackler-2.2.1.93	tracks/idris/docs/ABOUT.md
trackler-2.2.1.92	tracks/idris/docs/ABOUT.md
trackler-2.2.1.91	tracks/idris/docs/ABOUT.md
trackler-2.2.1.90	tracks/idris/docs/ABOUT.md
trackler-2.2.1.89	tracks/idris/docs/ABOUT.md
trackler-2.2.1.88	tracks/idris/docs/ABOUT.md
trackler-2.2.1.87	tracks/idris/docs/ABOUT.md
trackler-2.2.1.86	tracks/idris/docs/ABOUT.md
trackler-2.2.1.85	tracks/idris/docs/ABOUT.md
trackler-2.2.1.84	tracks/idris/docs/ABOUT.md
trackler-2.2.1.83	tracks/idris/docs/ABOUT.md
trackler-2.2.1.82	tracks/idris/docs/ABOUT.md
trackler-2.2.1.81	tracks/idris/docs/ABOUT.md
trackler-2.2.1.80	tracks/idris/docs/ABOUT.md
trackler-2.2.1.79	tracks/idris/docs/ABOUT.md