Repository to support development of experimental Clafer grammar. Includes syntax checker executable.