This is a blog about the meta-cedille language and related topics. You can find the language here, and the wiki, containing some documentation here.