A Dependently Typed Functional Programming Language - View it on GitHub