A language of semicolons