Dependently-typed language w/ little to say for itself - View it on GitHub