A Dependently Typed Functional Programming Language
git clone ssh://git.iko.soy/Idris-dev
Don't get your hopes up, this could take a while...