A Dependently Typed Functional Programming Language
git clone ssh://git.iko.soy/Idris-dev
Idris (http://idris-lang.org/) is an experimental functional programming
language with dependent types.
To install, type 'make'. This will install everything using cabal and
typecheck the libraries.