| Documento | Ler | Baixar |
|---|
Guia do navegador
Por onde começar. Como o caderno funciona, como escrever uma métrica, e as perguntas que dá para fazer. Leia este primeiro. |
abrir |
PDF |
Manual completo (em inglês)
A referência. A gramática inteira, todas as palavras reservadas, as ferramentas de linha de comando, as mensagens de erro e dez exemplos trabalhados. |
abrir |
PDF |
Nota técnica (em inglês)
O que o programa computa, como representa expressões, e como os resultados são verificados. É o documento a citar. |
abrir |
PDF |