You have happened along a programming language design project in its early stages. The basic premise of the project is that dependent type systems can be put to real practical use as a basis for statically-checked metaprogramming; in particular, I'm focusing initially on web applications.
There are a number of tidbits available here already:
I'm putting this project in stasis for a bit while I focus on developing the infrastructure needed to make it more pleasant to develop implemementations of new dependently-typed programming languages. --Adam