Especificação da linguagem Hare
