The Twelf Programming Language (mirror of SVN repository) - View it on GitHub