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